progs/tests/osx-bsd-critical.txt
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Fri, 10 Jun 2016 23:53:46 +0100
changeset 195 c2d36c3cf8ad
parent 161 2778715487a9
permissions -rw-r--r--
run all posix tests
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     1
1	(()|.)(b)	ab	(0,2)(0,1)(1,2)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     2
-1	(()|.)(b)	ab	(0,2)(0,1)(1,2)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     3
#2	(()|[ab])(b)	ab	(0,2)(0,1)(?,?)(1,2)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     4
#-2	(()|[ab])(b)	ab	(1,2)(1,1)(1,1)(1,2)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     5
#3	(()|[ab])+b	aaab	(0,4)(2,3)(?,?)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     6
#-3	(()|[ab])+b	aaab	(3,4)(3,3)(3,3)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     7
11	(.|())(b)	ab	(0,2)(0,1)(1,2)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     8
#12	([ab]|())(b)	ab	(0,2)(0,1)(?,?)(1,2)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     9
#14	([ab]|())+b	aaab	(0,4)(2,3)(?,?)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    10
#-14	([ab]|())+b	aaab	(0,4)(3,3)(3,3)
161
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)