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-- |
161
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
1 |
1 (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
|
2 |
# 2 SAME x (0,0)(0,0) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
3 |
# 3 SAME aaaaaa (0,6)(0,6) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
4 |
# 4 SAME aaaaaax (0,6)(0,6) |
161
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
5 |
5 (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
|
6 |
# 6 SAME x (0,0)(0,0) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
7 |
# 7 SAME aaaaaa (0,6)(0,6) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
8 |
# 8 SAME aaaaaax (0,6)(0,6) |
161
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
9 |
9 (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 |
# 10 SAME x (0,0)(?,?) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
11 |
# 11 SAME aaaaaa (0,6)(0,6) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
12 |
# 12 SAME aaaaaax (0,6)(0,6) |
161
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
13 |
13 (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
|
14 |
# 14 SAME x NOMATCH |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
15 |
# 15 SAME aaaaaa (0,6)(0,6) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
16 |
# 16 SAME aaaaaax (0,6)(0,6) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
17 |
17 (a*)* a (0,1)(0,1) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
18 |
# 18 SAME x (0,0)(0,0) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
19 |
# 19 SAME aaaaaa (0,6)(0,6) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
20 |
# 20 SAME aaaaaax (0,6)(0,6) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
21 |
21 (a*)+ a (0,1)(0,1) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
22 |
# 22 SAME x (0,0)(0,0) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
23 |
# 23 SAME aaaaaa (0,6)(0,6) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
24 |
# 24 SAME aaaaaax (0,6)(0,6) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
25 |
# 25 ([^b]*)* a (0,1)(0,1) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
26 |
# 26 SAME b (0,0)(0,0) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
27 |
# 27 SAME aaaaaa (0,6)(0,6) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
28 |
# 28 SAME aaaaaab (0,6)(0,6) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
29 |
# 29 ([ab]*)* a (0,1)(0,1) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
30 |
# 30 SAME aaaaaa (0,6)(0,6) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
31 |
# 31 SAME ababab (0,6)(0,6) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
32 |
# 32 SAME bababa (0,6)(0,6) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
33 |
# 33 SAME b (0,1)(0,1) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
34 |
# 34 SAME bbbbbb (0,6)(0,6) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
35 |
# 35 SAME aaaabcde (0,5)(0,5) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
36 |
# 36 ([^a]*)* b (0,1)(0,1) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
37 |
# 37 SAME bbbbbb (0,6)(0,6) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
38 |
# 38 SAME aaaaaa (0,0)(0,0) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
39 |
# 39 ([^ab]*)* ccccxx (0,6)(0,6) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
40 |
# 40 SAME ababab (0,0)(0,0) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
41 |
# 41 ((z)+|a)* zabcde (0,2)(1,2)(?,?) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
42 |
# 42 (a) aaa (0,1)(0,1) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
43 |
46 (a*)*(x) x (0,1)(0,1) |
161
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
44 |
47 (a*)*(x) ax (0,2)(0,1)(1,2) |
195
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
45 |
# 48 (a*)*(x) axa (0,2)(0,1)(1,2) |
161
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
46 |
49 (a*)+(x) x (0,1)(0,0)(0,1) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
47 |
50 (a*)+(x) ax (0,2)(0,1)(1,2) |
195
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
48 |
# 51 (a*)+(x) axa (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
|
49 |
# 52 (a*){2}(x) x (0,1)(0,0)(0,1) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
50 |
# 53 (a*){2}(x) ax (0,2)(1,1)(1,2) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
51 |
# 54 (a*){2}(x) axa (0,2)(1,1)(1,2) |