progs/tests/osx-bsd-critical.txt
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Sat, 09 Apr 2016 09:51:00 +0100
changeset 161 2778715487a9
child 195 c2d36c3cf8ad
permissions -rw-r--r--
added test cases from the haskell repository
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
161
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     1
1	(()|.)(b)	ab	(0,2)(0,1)(?,?)(1,2)
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     2
-1	(()|.)(b)	ab	(1,2)(1,1)(1,1)(1,2)
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     3
2	(()|[ab])(b)	ab	(0,2)(0,1)(?,?)(1,2)
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     4
-2	(()|[ab])(b)	ab	(1,2)(1,1)(1,1)(1,2)
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     5
3	(()|[ab])+b	aaab	(0,4)(2,3)(?,?)
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     6
-3	(()|[ab])+b	aaab	(3,4)(3,3)(3,3)
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     7
11	(.|())(b)	ab	(0,2)(0,1)(?,?)(1,2)
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     8
12	([ab]|())(b)	ab	(0,2)(0,1)(?,?)(1,2)
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     9
14	([ab]|())+b	aaab	(0,4)(2,3)(?,?)
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    10
-14	([ab]|())+b	aaab	(0,4)(3,3)(3,3)
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    11
20	(.?)(b)	ab	(0,2)(0,1)(1,2)