suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added a couple more tests for empty replicated SEQs that show up a bug

Browse Source
This commit is contained in:
Neil Brown 2008-02-01 11:45:05 +00:00
parent c663109378
commit d3ad2e7af6
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
common/FlowGraphTest.hs
View File

@ -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