author | Christian Urban <urbanc@in.tum.de> |
Thu, 07 Feb 2019 10:52:41 +0000 | |
changeset 305 | 6e2cef17a9b3 |
parent 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)(d*) abcd (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
|
2 |
-2 (a|ab)(bcd|c)(d*) abcd (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
|
3 |
-3 (ab|a)(c|bcd)(d*) abcd (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
|
4 |
-4 (ab|a)(bcd|c)(d*) abcd (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
|
5 |
-5 (a*)(b|abc)(c*) abc (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
|
6 |
-6 (a*)(abc|b)(c*) abc (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
|
7 |
-7 (a*)(b|abc)(c*) abc (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
|
8 |
-8 (a*)(abc|b)(c*) abc (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
|
9 |
-9 (a|ab)(c|bcd)(d|.*) abcd (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
|
10 |
-10 (a|ab)(bcd|c)(d|.*) abcd (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
|
11 |
-11 (ab|a)(c|bcd)(d|.*) abcd (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
|
12 |
-12 (ab|a)(bcd|c)(d|.*) abcd (0,4)(0,1)(1,4)(4,4) |