author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
Sat, 09 Apr 2016 09:51:00 +0100 | |
changeset 161 | 2778715487a9 |
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|ab)(c|bcd) abcd (0,4)(0,1)(1,4) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
2 |
2 (a|ab)(bcd|c) abcd (0,4)(0,1)(1,4) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
3 |
3 (ab|a)(c|bcd) abcd (0,4)(0,1)(1,4) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
4 |
4 (ab|a)(bcd|c) abcd (0,4)(0,1)(1,4) |
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|ab)(c|bcd))(d*) abcd (0,4)(0,4)(0,1)(1,4)(4,4) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
6 |
6 ((a|ab)(bcd|c))(d*) abcd (0,4)(0,4)(0,1)(1,4)(4,4) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
7 |
7 ((ab|a)(c|bcd))(d*) abcd (0,4)(0,4)(0,1)(1,4)(4,4) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
8 |
8 ((ab|a)(bcd|c))(d*) abcd (0,4)(0,4)(0,1)(1,4)(4,4) |
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|ab)((c|bcd)(d*)) abcd (0,4)(0,2)(2,4)(2,3)(3,4) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
10 |
10 (a|ab)((bcd|c)(d*)) abcd (0,4)(0,2)(2,4)(2,3)(3,4) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
11 |
11 (ab|a)((c|bcd)(d*)) abcd (0,4)(0,2)(2,4)(2,3)(3,4) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
12 |
12 (ab|a)((bcd|c)(d*)) abcd (0,4)(0,2)(2,4)(2,3)(3,4) |
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*)(b|abc) abc (0,3)(0,0)(0,3) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
14 |
14 (a*)(abc|b) abc (0,3)(0,0)(0,3) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
15 |
15 ((a*)(b|abc))(c*) abc (0,3)(0,3)(0,0)(0,3)(3,3) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
16 |
16 ((a*)(abc|b))(c*) abc (0,3)(0,3)(0,0)(0,3)(3,3) |
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*)((b|abc)(c*)) abc (0,3)(0,1)(1,3)(1,2)(2,3) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
18 |
18 (a*)((abc|b)(c*)) abc (0,3)(0,1)(1,3)(1,2)(2,3) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
19 |
19 (a*)(b|abc) abc (0,3)(0,0)(0,3) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
20 |
20 (a*)(abc|b) abc (0,3)(0,0)(0,3) |
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*)(b|abc))(c*) abc (0,3)(0,3)(0,0)(0,3)(3,3) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
22 |
22 ((a*)(abc|b))(c*) abc (0,3)(0,3)(0,0)(0,3)(3,3) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
23 |
23 (a*)((b|abc)(c*)) abc (0,3)(0,1)(1,3)(1,2)(2,3) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
24 |
24 (a*)((abc|b)(c*)) abc (0,3)(0,1)(1,3)(1,2)(2,3) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
25 |
25 (a|ab) ab (0,2)(0,2) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
26 |
26 (ab|a) ab (0,2)(0,2) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
27 |
27 (a|ab)(b*) ab (0,2)(0,2)(2,2) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
28 |
28 (ab|a)(b*) ab (0,2)(0,2)(2,2) |