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