From d3ad2e7af64ab821aed7b7f3e3e3408e743f19d7 Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Fri, 1 Feb 2008 11:45:05 +0000 Subject: [PATCH] Added a couple more tests for empty replicated SEQs that show up a bug --- common/FlowGraphTest.hs | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/common/FlowGraphTest.hs b/common/FlowGraphTest.hs index 072cb94..7ab06cd 100644 --- a/common/FlowGraphTest.hs +++ b/common/FlowGraphTest.hs @@ -188,6 +188,13 @@ testSeq = TestLabel "testSeq" $ TestList [A.OnlyP mU sm9 ,(A.Rep m8 (A.For mU undefined undefined undefined) $ A.Several m1 [A.OnlyP m2 sm3,A.OnlyP m4 sm5]) ,A.OnlyP mU sm11]) + + ,testSeq' 102 [(0,m10)] [(0,0,ESeq)] + (A.Rep m10 (A.For mU undefined undefined undefined) $ A.Several mU []) + + ,testSeq' 103 [(1,m10), (0,m1), (2,m2)] [(0,1,ESeq),(1,1,ESeq),(1,2,ESeq)] + (A.Several mU [A.OnlyP mU sm1, (A.Rep m10 (A.For mU undefined undefined undefined) $ A.Several mU []), A.OnlyP mU sm2]) + ] where testSeq' :: Int -> [(Int, Meta)] -> [(Int, Int, EdgeLabel)] -> A.Structured -> Test