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

1	(()|.)(b)	ab	(0,2)(0,1)(?,?)(1,2)
-1	(()|.)(b)	ab	(1,2)(1,1)(1,1)(1,2)
2	(()|[ab])(b)	ab	(0,2)(0,1)(?,?)(1,2)
-2	(()|[ab])(b)	ab	(1,2)(1,1)(1,1)(1,2)
3	(()|[ab])+b	aaab	(0,4)(2,3)(?,?)
-3	(()|[ab])+b	aaab	(3,4)(3,3)(3,3)
11	(.|())(b)	ab	(0,2)(0,1)(?,?)(1,2)
12	([ab]|())(b)	ab	(0,2)(0,1)(?,?)(1,2)
14	([ab]|())+b	aaab	(0,4)(2,3)(?,?)
-14	([ab]|())+b	aaab	(0,4)(3,3)(3,3)
20	(.?)(b)	ab	(0,2)(0,1)(1,2)