progs/tests/class.txt
author Christian Urban <urbanc@in.tum.de>
Thu, 07 Feb 2019 10:52:41 +0000
changeset 305 6e2cef17a9b3
parent 195 c2d36c3cf8ad
permissions -rw-r--r--
updated
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	aa*			xaxaax	(1,2)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     2
#2	(a*)(ab)*(b*)		abc	(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	(a*)(ab)*(b*)		abc	(0,2)(0,0)(0,2)(2,2)
161
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     4
3	((a*)(ab)*)((b*)(a*))	aba	(0,3)(0,2)(0,0)(0,2)(2,3)(2,2)(2,3)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     5
#4	(...?.?)*		xxxxxx	(0,6)(4,6)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     6
#5	(a|ab)(bc|c)		abcabc	(0,3)(0,2)(2,3)
161
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     7
6	(aba|a*b)(aba|a*b)	ababa	(0,5)(0,2)(2,5)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     8
#7	(a*){2}			xxxxx	(0,0)(0,0)
161
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     9
8	(a*)*			a	(0,1)(0,1)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    10
9	(aba|a*b)*		ababa	(0,5)(0,2)(2,5)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    11
10	(a(b)?)+		aba	(0,3)(0,2)(1,2)(2,3)
161
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    12
11	.*(.*)			ab	(0,2)(2,2)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    13
#12	(a?)((ab)?)(b?)a?(ab)?b?	abab	(0,4)(0,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
    14
-12	(a?)((ab)?)(b?)a?(ab)?b?	abab	(0,4)(0,0)(0,2)(0,2)(2,2)(2,4)