author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
Wed, 24 Aug 2016 10:37:40 +0100 | |
changeset 208 | 02568e85a394 |
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 |
#01 a+ xaax (1,3) |
161
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
2 |
03 (a?)((ab)?) ab (0,2)(0,0)(0,2)(0,2) |
195
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
3 |
04 (a?)((ab)?)(b?) ab (0,2)(0,0)(0,2)(0,2)(2,2) |
161
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
4 |
05 ((a?)((ab)?))(b?) ab (0,2)(0,2)(0,0)(0,2)(0,2)(2,2) |
195
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
5 |
06 (a?)(((ab)?)(b?)) ab (0,2)(0,1)(1,2)(1,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
|
6 |
07 (.?) x (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
|
7 |
#08 (.?){1} 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
|
8 |
09 (.?)(.?) x (0,1)(0,1)(1,1) |
195
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
9 |
#10 (.?){2} x (0,1)(1,1) |
161
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
10 |
11 (.?)* x (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
|
11 |
#12 (.?.?) xxx (0,2)(0,2) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
12 |
12 (.?.?.?) xxx (0,3)(0,3) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
13 |
#13 (.?.?){1} xxx (0,2)(0,2) |
161
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
14 |
14 (.?.?)(.?.?) xxx (0,3)(0,2)(2,3) |
195
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
15 |
#15 (.?.?){2} xxx (0,3)(2,3) |
161
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
16 |
16 (.?.?)(.?.?)(.?.?) xxx (0,3)(0,2)(2,3)(3,3) |
195
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
17 |
#17 (.?.?){3} xxx (0,3)(3,3) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
18 |
18 (.?.?)* xxx (0,3)(0,2)(2,3) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
19 |
19 a?((ab)?)(b?) ab (0,2)(0,2)(0,2)(2,2) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
20 |
20 (a?)((ab)?)b? ab (0,2)(0,0)(0,2)(0,2) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
21 |
21 a?((ab)?)b? ab (0,2)(0,2)(0,2) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
22 |
#22 (a*){2} xxxxx (0,0)(0,0) |
161
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
23 |
23 (ab?)(b?a) aba (0,3)(0,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|ab)(ba|a) aba (0,3)(0,2)(2,3) |
195
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
25 |
#25 (a|ab|ba) aba (0,2)(0,2) |
161
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
26 |
26 (a|ab|ba)(a|ab|ba) aba (0,3)(0,2)(2,3) |
195
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
27 |
27 (a|ab|ba)* aba (0,3)(0,2)(2,3) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
28 |
#28 (aba|a*b) ababa (0,3)(0,3) |
161
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
29 |
29 (aba|a*b)(aba|a*b) ababa (0,5)(0,2)(2,5) |
195
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
30 |
#1029 (aba|a*b)(aba|a*b)(aba|a*b) ababa NOMATCH |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
31 |
30 (aba|a*b)* ababa (0,5)(0,2)(2,5) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
32 |
#31 (aba|ab|a) ababa (0,3)(0,3) |
161
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
33 |
32 (aba|ab|a)(aba|ab|a) ababa (0,5)(0,2)(2,5) |
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
34 |
1032 (aba|ab|a)(aba|ab|a)(aba|ab|a) ababa (0,5)(0,2)(2,4)(4,5) |
195
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
35 |
33 (aba|ab|a)* ababa (0,5)(0,2)(2,5) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
36 |
#34 (a(b)?) aba (0,2)(0,2)(1,2) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
37 |
35 (a(b)?)(a(b)?) aba (0,3)(0,2)(1,2)(2,3) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
38 |
36 (a(b)?)+ aba (0,3)(0,2)(1,2)(2,3) |
161
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
39 |
37 (.*)(.*) xx (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
|
40 |
38 .*(.*) xx (0,2)(2,2) |
195
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
41 |
#39 (a.*z|b.*y) azbazby (0,5)(0,5) |
161
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
42 |
40 (a.*z|b.*y)(a.*z|b.*y) azbazby (0,7)(0,5)(5,7) |
195
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
43 |
41 (a.*z|b.*y)* azbazby (0,7)(0,5)(5,7) |
161
2778715487a9
added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
44 |
42 (.|..)(.*) ab (0,2)(0,2)(2,2) |
195
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
45 |
43 ((..)*(...)*) xxx (0,3)(0,3)(0,3) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
46 |
44 ((..)*(...)*)((..)*(...)*) xxx (0,3)(0,3)(0,3)(3,3) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
47 |
45 ((..)*(...)*)* xxx (0,3)(0,3)(0,3) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
48 |
83 (aa(b(b))?)+ aabbaa (0,6)(0,4)(2,4)(3,4)(4,6) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
49 |
84 (a(b)?)+ aba (0,3)(0,2)(1,2)(2,3) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
50 |
#85 ([ab]+)([bc]+)([cd]*) abcd (0,4)(0,2)(2,3)(3,4) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
51 |
#90 ^(A([^B]*))?(B(.*))? Aa (0,2)(0,2)(1,2)(?,?)(?,?) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
52 |
#91 ^(A([^B]*))?(B(.*))? Bb (0,2)(?,?)(?,?)(0,2)(1,2) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
53 |
#110 (^){0,3} a (0,0)(0,0) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
54 |
#111 ($){0,3} a (0,0)(?,?) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
55 |
#112 (^){1,3} a (0,0)(0,0) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
56 |
#113 ($){1,3} a (1,1)(1,1) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
57 |
#200 ((s^)|(s)|(^)|($)|(^.))* searchme (0,1)(0,1)(?,?)(0,1)(?,?)(?,?)(?,?) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
58 |
#201 s(()|^)e searchme (0,2)(1,1)(1,1) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
59 |
#202 s(^|())e searchme (0,2)(1,1)(1,1) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
60 |
#203 s(^|())e searchme (0,2)(1,1)(1,1) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
61 |
#204 s()?e searchme (0,2)(1,1) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
62 |
#205 s(^)?e searchme (0,2)(?,?) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
63 |
#206 ((s)|(e)|(a))* searchme (0,3)(2,3)(?,?)(?,?)(2,3) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
64 |
#207 ((s)|(e)|())* searchme (0,2)(1,2)(?,?)(1,2)(?,?) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
65 |
208 ((b*)|c(c*))* cbb (0,3)(0,1)(1,1)(1,3)(1,3) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
66 |
#209 (yyy|(x?)){2,4} yyyyyy (0,6)(3,6)(?,?) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
67 |
#210 ($)|() xxx (0,0)(?,?)(0,0) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
68 |
#211 $()|^() ac\n (0,0)(?,?)(0,0) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
69 |
#212 ^()|$() ac\n (0,0)(0,0)(?,?) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
70 |
#213 ($)?(.) __ (0,1)(?,?)(0,1) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
71 |
214 (.|()|())* c (0,1)(0,1) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
72 |
#215 ((a)|(b)){2,} ab (0,2)(1,2)(?,?)(1,2) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
73 |
#216 .()|((.)?) NULL (0,0)(?,?)(0,0)(?,?) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
74 |
#217 (.|$){2,} xx (0,2)(1,2) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
75 |
#218 (.|$){2,2} xx (0,2)(1,2) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
76 |
#219 (.){2,} xx (0,2)(1,2) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
77 |
220 (a|())(b|())(c|()) abc (0,3)(0,1)(1,2)(2,3) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
78 |
##220 ab()c|ab()c() abc (0,3)(2,2)(-1,-1)(-1,-1) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
79 |
250 (b(c)|d(e))* bcde (0,4)(0,2)(1,2)(2,4)(3,4) |
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
80 |
251 (a(b)*)* aba (0,3)(0,2)(1,2)(2,3) |