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-- |
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) |