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