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