| 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-- |
|
195
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
1 |
#1 ((..)|(.)) NULL NOMATCH |
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
2 |
#2 ((..)|(.))((..)|(.)) NULL NOMATCH |
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
3 |
#3 ((..)|(.))((..)|(.))((..)|(.)) NULL NOMATCH |
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
4 |
#4 ((..)|(.)){1} NULL NOMATCH
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
5 |
#5 ((..)|(.)){2} NULL NOMATCH
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
6 |
#6 ((..)|(.)){3} NULL NOMATCH
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
7 |
7 ((..)|(.))* - (0,0) |
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
8 |
8 ((..)|(.)) a (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
|
9 |
#9 ((..)|(.))((..)|(.)) a NOMATCH |
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
10 |
#10 ((..)|(.))((..)|(.))((..)|(.)) a NOMATCH |
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
11 |
#11 ((..)|(.)){1} a (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
|
12 |
#12 ((..)|(.)){2} a NOMATCH
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
13 |
#13 ((..)|(.)){3} a NOMATCH
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
14 |
14 ((..)|(.))* a (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
|
15 |
15 ((..)|(.)) aa (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
|
16 |
16 ((..)|(.))((..)|(.)) aa (0,2)(0,1)(0,1)(1,2)(1,2) |
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
17 |
#17 ((..)|(.))((..)|(.))((..)|(.)) aa NOMATCH |
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
18 |
#18 ((..)|(.)){1} aa (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
|
19 |
#19 ((..)|(.)){2} aa (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
|
20 |
#20 ((..)|(.)){3} aa NOMATCH
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
21 |
21 ((..)|(.))* aa (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 ((..)|(.)) aaa (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
|
23 |
23 ((..)|(.))((..)|(.)) aaa (0,3)(0,2)(0,2)(2,3)(2,3) |
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
24 |
24 ((..)|(.))((..)|(.))((..)|(.)) aaa (0,3)(0,1)(0,1)(1,2)(1,2)(2,3)(2,3) |
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
25 |
#25 ((..)|(.)){1} aaa (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
|
26 |
#26 ((..)|(.)){2} aaa (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
|
27 |
#27 ((..)|(.)){3} aaa (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
|
28 |
28 ((..)|(.))* aaa (0,3)(0,2)(0,2)(2,3)(2,3) |
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
29 |
#29 ((..)|(.)) aaaa (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
|
30 |
30 ((..)|(.))((..)|(.)) aaaa (0,4)(0,2)(0,2)(2,4)(2,4) |
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
31 |
31 ((..)|(.))((..)|(.))((..)|(.)) aaaa (0,4)(0,2)(0,2)(2,3)(2,3)(3,4)(3,4) |
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
32 |
#32 ((..)|(.)){1} aaaa (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
|
33 |
#33 ((..)|(.)){2} aaaa (0,4)(2,4)(2,4)(?,?)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
34 |
#34 ((..)|(.)){3} aaaa (0,4)(3,4)(?,?)(3,4)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
35 |
35 ((..)|(.))* aaaa (0,4)(0,2)(0,2)(2,4)(2,4) |
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
36 |
#36 ((..)|(.)) aaaaa (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
|
37 |
#37 ((..)|(.))((..)|(.)) aaaaa (0,4)(0,2)(0,2)(?,?)(2,4)(2,4)(?,?) |
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
38 |
38 ((..)|(.))((..)|(.))((..)|(.)) aaaaa (0,5)(0,2)(0,2)(2,4)(2,4)(4,5)(4,5) |
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
39 |
#39 ((..)|(.)){1} aaaaa (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
|
40 |
#40 ((..)|(.)){2} aaaaa (0,4)(2,4)(2,4)(?,?)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
41 |
#41 ((..)|(.)){3} aaaaa (0,5)(4,5)(?,?)(4,5)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
42 |
42 ((..)|(.))* aaaaa (0,5)(0,2)(0,2)(2,4)(2,4)(4,5)(4,5) |
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
43 |
#43 ((..)|(.)) aaaaaa (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
|
44 |
#44 ((..)|(.))((..)|(.)) aaaaaa (0,4)(0,2)(0,2)(?,?)(2,4)(2,4)(?,?) |
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
45 |
45 ((..)|(.))((..)|(.))((..)|(.)) aaaaaa (0,6)(0,2)(0,2)(2,4)(2,4)(4,6)(4,6) |
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
46 |
#46 ((..)|(.)){1} aaaaaa (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
|
47 |
#47 ((..)|(.)){2} aaaaaa (0,4)(2,4)(2,4)(?,?)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
48 |
#48 ((..)|(.)){3} aaaaaa (0,6)(4,6)(4,6)(?,?)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
49 |
49 ((..)|(.))* aaaaaa (0,6)(0,2)(0,2)(2,4)(2,4)(4,6)(4,6) |
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
50 |
#100 X(.?){0,}Y X1234567Y (0,9)(7,8)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
51 |
#101 X(.?){1,}Y X1234567Y (0,9)(7,8)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
52 |
#102 X(.?){2,}Y X1234567Y (0,9)(7,8)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
53 |
#103 X(.?){3,}Y X1234567Y (0,9)(7,8)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
54 |
#104 X(.?){4,}Y X1234567Y (0,9)(7,8)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
55 |
#105 X(.?){5,}Y X1234567Y (0,9)(7,8)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
56 |
#106 X(.?){6,}Y X1234567Y (0,9)(7,8)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
57 |
#107 X(.?){7,}Y X1234567Y (0,9)(7,8)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
58 |
#108 X(.?){8,}Y X1234567Y (0,9)(8,8)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
59 |
#110 X(.?){0,8}Y X1234567Y (0,9)(7,8)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
60 |
#111 X(.?){1,8}Y X1234567Y (0,9)(7,8)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
61 |
#112 X(.?){2,8}Y X1234567Y (0,9)(7,8)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
62 |
#113 X(.?){3,8}Y X1234567Y (0,9)(7,8)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
63 |
#114 X(.?){4,8}Y X1234567Y (0,9)(7,8)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
64 |
#115 X(.?){5,8}Y X1234567Y (0,9)(7,8)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
65 |
#116 X(.?){6,8}Y X1234567Y (0,9)(7,8)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
66 |
#117 X(.?){7,8}Y X1234567Y (0,9)(7,8)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
67 |
#118 X(.?){8,8}Y X1234567Y (0,9)(8,8)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
68 |
#260 (a|ab|c|bcd){0,}(d*) ababcd (0,6)(3,6)(6,6)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
69 |
#261 (a|ab|c|bcd){1,}(d*) ababcd (0,6)(3,6)(6,6)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
70 |
#262 (a|ab|c|bcd){2,}(d*) ababcd (0,6)(3,6)(6,6)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
71 |
#263 (a|ab|c|bcd){3,}(d*) ababcd (0,6)(3,6)(6,6)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
72 |
#264 (a|ab|c|bcd){4,}(d*) ababcd NOMATCH
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
73 |
#265 (a|ab|c|bcd){0,10}(d*) ababcd (0,6)(3,6)(6,6)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
74 |
#266 (a|ab|c|bcd){1,10}(d*) ababcd (0,6)(3,6)(6,6)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
75 |
#267 (a|ab|c|bcd){2,10}(d*) ababcd (0,6)(3,6)(6,6)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
76 |
#268 (a|ab|c|bcd){3,10}(d*) ababcd (0,6)(3,6)(6,6)
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
77 |
#269 (a|ab|c|bcd){4,10}(d*) ababcd NOMATCH
|
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
78 |
270 (a|ab|c|bcd)*(d*) ababcd (0,6)(0,2)(2,3)(3,6)(6,6) |
|
c2d36c3cf8ad
run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
161
diff
changeset
|
79 |
271 (a|ab|c|bcd)+(d*) ababcd (0,6)(0,2)(2,3)(3,6)(6,6) |