progs/tests/basic3.txt
author Chengsong
Tue, 14 Jun 2022 18:06:33 +0100
changeset 542 a7344c9afbaf
parent 195 c2d36c3cf8ad
permissions -rw-r--r--
chapter3 finished
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     1
#     1		\)		()	(1,2)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     2
#     2		\}		}	(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
     3
     3		]		]	(0,1)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     4
#     4		$^		NULL	(0,0)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     5
#     5		a($)		aa	(1,2)(2,2)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     6
#     6		a*(^a)		aa	(0,1)(0,1)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     7
#     7		(..)*(...)*		a	(0,0)(?,?)(?,?)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     8
     8		(..)*(...)*		abcd	(0,4)(0,2)(2,4)
161
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     9
     9		(ab|a)(bc|c)		abc	(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
    10
    10		(ab)c|abc		abc	(0,3)(0,2)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    11
#    11		a{0}b		ab			(1,2)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    12
#    12		(a*)(b?)(b+)b{3}	aaabbbbbbb	(0,10)(0,3)(3,4)(4,7)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    13
#    13		(a*)(b{0,1})(b{1,})b{3}	aaabbbbbbb	(0,10)(0,3)(3,4)(4,7)
161
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    14
    15		((a|a)|a)			a	(0,1)(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
    15
    16		(a*)(a|aa)			aaaa	(0,4)(0,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
    16
    17		a*(a.|aa)			aaaa	(0,4)(2,4)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    17
    18		a(b)|c(d)|a(e)f			aef	(0,3)(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
    18
    19		(a|b)?.*			b	(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
    19
    20		(a|b)c|a(b|c)			ac	(0,2)(0,1)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    20
    21		(a|b)c|a(b|c)			ab	(0,2)(1,2)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    21
    22		(a|b)*c|(a|ab)*c		abc	(0,3)(0,1)(1,2)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    22
#    23		(a|b)*c|(a|ab)*c		xc	(1,2)(?,?)(?,?)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    23
#    24		(.a|.b).*|.*(.a|.b)		xa	(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
    24
    25		a?(ab|ba)ab			abab	(0,4)(0,2)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    25
#    26		a?(ac{0}b|ba)ab			abab	(0,4)(0,2)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    26
#    27		ab|abab				abbabab	(0,2)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    27
#    28		aba|bab|bba			baaabbbaba	(5,8)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    28
#    29		aba|bab				baaabbbaba	(6,9)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    29
    30		(aa|aaa)*|(a|aaaaa)		aa	(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
    31		(a.|.a.)*|(a|.a...)		aa	(0,2)(0,2)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    31
#    32		ab|a				xabc	(1,3)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    32
#    33		ab|a				xxabc	(2,4)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    33
    34		(aB|cD)*			aBcD	(0,4)(0,2)(2,4)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    34
#    35		:::1:::0:|:::1:1:0:	:::0:::1:::1:::0:	(8,17)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    35
#    36		:::1:::0:|:::1:1:1:	:::0:::1:::1:::0:	(8,17)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    36
#    37		[[:lower:]]+		`az{		(1,3)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    37
#    38		[[:upper:]]+		@AZ[		(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
    38
    39		(a)(b)(c)	abc	(0,3)(0,1)(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
    39
    43  	((((((((((((((((((((((((((((((x))))))))))))))))))))))))))))))	x	(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(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
    40
    44  	((((((((((((((((((((((((((((((x))))))))))))))))))))))))))))))*	xx	(0,2)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(1,2)(1,2)(1,2)(1,2)(1,2)(1,2)(1,2)(1,2)(1,2)(1,2)(1,2)(1,2)(1,2)(1,2)(1,2)(1,2)(1,2)(1,2)(1,2)(1,2)(1,2)(1,2)(1,2)(1,2)(1,2)(1,2)(1,2)(1,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
    41
    45		a?(ab|ba)*	ababababababababababababababababababababababababababababababababababababababababa	(0,81)(1,3)(3,5)(5,7)(7,9)(9,11)(11,13)(13,15)(15,17)(17,19)(19,21)(21,23)(23,25)(25,27)(27,29)(29,31)(31,33)(33,35)(35,37)(37,39)(39,41)(41,43)(43,45)(45,47)(47,49)(49,51)(51,53)(53,55)(55,57)(57,59)(59,61)(61,63)(63,65)(65,67)(67,69)(69,71)(71,73)(73,75)(75,77)(77,79)(79,81)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    42
#    46		abaa|abbaa|abbbaa|abbbbaa	ababbabbbabbbabbbbabbbbaa	(18,25)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    43
#    47		abaa|abbaa|abbbaa|abbbbaa	ababbabbbabbbabbbbabaa	(18,22)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    44
#    48		aaac|aabc|abac|abbc|baac|babc|bbac|bbbc	baaabbbabac	(7,11)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    45
#    49		aaaa|bbbb|cccc|ddddd|eeeeee|fffffff|gggg|hhhh|iiiii|jjjjj|kkkkk|llll		XaaaXbbbXcccXdddXeeeXfffXgggXhhhXiiiXjjjXkkkXlllXcbaXaaaa	(53,57)
161
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    46
    50		a*a*a*a*a*b		aaaaaaaaab	(0,10)
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    47
    51		ab+bc			abbc		(0,4)
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    48
    52		ab+bc			abbbbc		(0,6)
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    49
    53		ab?bc			abbc		(0,4)
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    50
    54		ab?bc			abc		(0,3)
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    51
    55		ab?c			abc		(0,3)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    52
#    56		ab|cd			abc		(0,2)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    53
#    57		ab|cd			abcd		(0,2)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    54
#    58		a\(b			a(b		(0,3)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    55
#    59		a\(*b			ab		(0,2)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    56
#    60		a\(*b			a((b		(0,4)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    57
#    61		((a))			abc		(0,1)(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
    58
    62		(a)b(c)			abc		(0,3)(0,1)(2,3)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    59
#    63		a+b+c			aabbabc		(4,7)
161
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    60
    64		a*			aaa		(0,3)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    61
    65		(a*)*			-		(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
    62
    66		(a*)+			-		(0,0)(0,0)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    63
    67		(a*|b)*			-		(0,0)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    64
    68		(a+|b)*			ab		(0,2)(0,1)(1,2)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    65
    69		(a+|b)+			ab		(0,2)(0,1)(1,2)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    66
#    70		(a+|b)?			ab		(0,1)(0,1)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    67
#    71		(^)*			-		(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
#    72		([abc])*d		abbbcd		(0,6)(4,5)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    69
#    73		([abc])*bcd		abcd		(0,4)(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
    70
    74		a|b|c|d|e		e		(0,1)
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    71
    75		(a|b|c|d|e)f		ef		(0,2)(0,1)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    72
#    76		((a*|b))*		-		(0,0)(0,0)(0,0)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    73
#    77		(ab|cd)e		abcde		(2,5)(2,4)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    74
#    78		(a|b)c*d		abcd		(1,4)(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
    75
    79		(ab|ab*)bc		abc		(0,3)(0,1)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    76
#    80		a([bc]*)c*		abc		(0,3)(1,3)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    77
#    81		a([bc]*)(c*d)		abcd		(0,4)(1,3)(3,4)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    78
#    82		a([bc]+)(c*d)		abcd		(0,4)(1,3)(3,4)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    79
#    83		a([bc]*)(c+d)		abcd		(0,4)(1,2)(2,4)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    80
#    84		a[bcd]*dcdcde		adcdcde		(0,7)
161
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    81
    85		(ab|a)b*c		abc		(0,3)(0,2)
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    82
    86		((a)(b)c)(d)		abcd		(0,4)(0,3)(0,1)(1,2)(3,4)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    83
#    87		^a(bc+|b[eh])g|.h$	abh		(1,3)(?,?)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    84
#    88		(bc+d$|ef*g.|h?i(j|k))	effgz		(0,5)(0,5)(?,?)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    85
#    89		(bc+d$|ef*g.|h?i(j|k))	ij		(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
    86
#    90		(bc+d$|ef*g.|h?i(j|k))	reffgz		(1,6)(1,6)(?,?)
161
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    87
    91		(((((((((a)))))))))	a		(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(0,1)(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
    88
    92		(.*)c(.*)		abcde		(0,5)(0,2)(3,5)
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    89
    93		a(bc)d			abcd		(0,4)(1,3)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    90
#    94		a[-]?c		ac		(0,3)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    91
#    95		M[ou]'?am+[ae]r_.*([AEae]l[-_])?[GKQ]h?[aeu]+([dtz][dhz]?)+af[iy]	Muammar_Qaddafi	(0,15)(?,?)(10,12)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    92
#    96		M[ou]'?am+[ae]r_.*([AEae]l[-_])?[GKQ]h?[aeu]+([dtz][dhz]?)+af[iy]	Mo'ammar_Gadhafi	(0,16)(?,?)(11,13)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    93
#    97		M[ou]'?am+[ae]r_.*([AEae]l[-_])?[GKQ]h?[aeu]+([dtz][dhz]?)+af[iy]	Muammar_Kaddafi	(0,15)(?,?)(10,12)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    94
#    98		M[ou]'?am+[ae]r_.*([AEae]l[-_])?[GKQ]h?[aeu]+([dtz][dhz]?)+af[iy]	Muammar_Qadhafi	(0,15)(?,?)(10,12)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    95
#    99		M[ou]'?am+[ae]r_.*([AEae]l[-_])?[GKQ]h?[aeu]+([dtz][dhz]?)+af[iy]	Muammar_Gadafi	(0,14)(?,?)(10,11)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    96
#   100		M[ou]'?am+[ae]r_.*([AEae]l[-_])?[GKQ]h?[aeu]+([dtz][dhz]?)+af[iy]	Mu'ammar_Qadafi	(0,15)(?,?)(11,12)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    97
#   101		M[ou]'?am+[ae]r_.*([AEae]l[-_])?[GKQ]h?[aeu]+([dtz][dhz]?)+af[iy]	Moamar_Gaddafi	(0,14)(?,?)(9,11)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    98
#   102		M[ou]'?am+[ae]r_.*([AEae]l[-_])?[GKQ]h?[aeu]+([dtz][dhz]?)+af[iy]	Mu'ammar_Qadhdhafi	(0,18)(?,?)(13,15)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    99
#   103		M[ou]'?am+[ae]r_.*([AEae]l[-_])?[GKQ]h?[aeu]+([dtz][dhz]?)+af[iy]	Muammar_Khaddafi	(0,16)(?,?)(11,13)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   100
#   104		M[ou]'?am+[ae]r_.*([AEae]l[-_])?[GKQ]h?[aeu]+([dtz][dhz]?)+af[iy]	Muammar_Ghaddafy	(0,16)(?,?)(11,13)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   101
#   105		M[ou]'?am+[ae]r_.*([AEae]l[-_])?[GKQ]h?[aeu]+([dtz][dhz]?)+af[iy]	Muammar_Ghadafi	(0,15)(?,?)(11,12)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   102
#   106		M[ou]'?am+[ae]r_.*([AEae]l[-_])?[GKQ]h?[aeu]+([dtz][dhz]?)+af[iy]	Muammar_Ghaddafi	(0,16)(?,?)(11,13)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   103
#   107		M[ou]'?am+[ae]r_.*([AEae]l[-_])?[GKQ]h?[aeu]+([dtz][dhz]?)+af[iy]	Muamar_Kaddafi	(0,14)(?,?)(9,11)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   104
#   108		M[ou]'?am+[ae]r_.*([AEae]l[-_])?[GKQ]h?[aeu]+([dtz][dhz]?)+af[iy]	Muammar_Quathafi	(0,16)(?,?)(11,13)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   105
#   109		M[ou]'?am+[ae]r_.*([AEae]l[-_])?[GKQ]h?[aeu]+([dtz][dhz]?)+af[iy]	Muammar_Gheddafi	(0,16)(?,?)(11,13)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   106
#   110		M[ou]'?am+[ae]r_.*([AEae]l[-_])?[GKQ]h?[aeu]+([dtz][dhz]?)+af[iy]	Moammar_Khadafy	(0,15)(?,?)(11,12)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   107
#   111		M[ou]'?am+[ae]r_.*([AEae]l[-_])?[GKQ]h?[aeu]+([dtz][dhz]?)+af[iy]	Moammar_Qudhafi	(0,15)(?,?)(10,12)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   108
   112		a+(b|c)*d+		aabcdd			(0,6)(2,3)(3,4)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   109
#   113		^.+$			vivi			(0,4)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   110
#   114		^(.+)$			vivi			(0,4)(0,4)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   111
#   115		^([^!.]+).att.com!(.+)$	gryphon.att.com!eby	(0,19)(0,7)(16,19)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   112
#   116		^([^!]+!)?([^!]+)$	bas			(0,3)(?,?)(0,3)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   113
#   117		^([^!]+!)?([^!]+)$	bar!bas			(0,7)(0,4)(4,7)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   114
#   118		^([^!]+!)?([^!]+)$	foo!bas			(0,7)(0,4)(4,7)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   115
#   119		^.+!([^!]+!)([^!]+)$	foo!bar!bas		(0,11)(4,8)(8,11)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   116
   120		((foo)|(bar))!bas	bar!bas			(0,7)(0,3)(0,3)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   117
#  121		((foo)|(bar))!bas	foo!bar!bas		(4,11)(4,7)(?,?)(4,7)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   118
   122		((foo)|(bar))!bas	foo!bas			(0,7)(0,3)(0,3)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   119
   123		((foo)|bar)!bas		bar!bas			(0,7)(0,3)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   120
#   124		((foo)|bar)!bas		foo!bar!bas		(4,11)(4,7)(?,?)
161
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   121
   125		((foo)|bar)!bas		foo!bas			(0,7)(0,3)(0,3)
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   122
   126		(foo|(bar))!bas		bar!bas			(0,7)(0,3)(0,3)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   123
#   127		(foo|(bar))!bas		foo!bar!bas		(4,11)(4,7)(4,7)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   124
   128		(foo|(bar))!bas		foo!bas			(0,7)(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
   125
   129		(foo|bar)!bas		bar!bas			(0,7)(0,3)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   126
#   130		(foo|bar)!bas		foo!bar!bas		(4,11)(4,7)
161
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   127
   131		(foo|bar)!bas		foo!bas			(0,7)(0,3)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   128
#   132		^(([^!]+!)?([^!]+)|.+!([^!]+!)([^!]+))$	foo!bar!bas	(0,11)(0,11)(?,?)(?,?)(4,8)(8,11)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   129
#   133		^([^!]+!)?([^!]+)$|^.+!([^!]+!)([^!]+)$	bas		(0,3)(?,?)(0,3)(?,?)(?,?)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   130
#   134		^([^!]+!)?([^!]+)$|^.+!([^!]+!)([^!]+)$	bar!bas		(0,7)(0,4)(4,7)(?,?)(?,?)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   131
#   135		^([^!]+!)?([^!]+)$|^.+!([^!]+!)([^!]+)$	foo!bar!bas	(0,11)(?,?)(?,?)(4,8)(8,11)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   132
#   136		^([^!]+!)?([^!]+)$|^.+!([^!]+!)([^!]+)$	foo!bas		(0,7)(0,4)(4,7)(?,?)(?,?)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   133
#   137		^(([^!]+!)?([^!]+)|.+!([^!]+!)([^!]+))$	bas		(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
   134
#   138		^(([^!]+!)?([^!]+)|.+!([^!]+!)([^!]+))$	bar!bas		(0,7)(0,7)(0,4)(4,7)(?,?)(?,?)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   135
#   139		^(([^!]+!)?([^!]+)|.+!([^!]+!)([^!]+))$	foo!bar!bas	(0,11)(0,11)(?,?)(?,?)(4,8)(8,11)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   136
#   140		^(([^!]+!)?([^!]+)|.+!([^!]+!)([^!]+))$	foo!bas		(0,7)(0,7)(0,4)(4,7)(?,?)(?,?)
161
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   137
   141		.*(/XXX).*			/XXX			(0,4)(0,4)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   138
#   142		.*(\\XXX).*			\XXX			(0,4)(0,4)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   139
#   143		\\XXX				\XXX			(0,4)
161
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
   140
   144		.*(/000).*			/000			(0,4)(0,4)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   141
#   145		.*(\\000).*			\000			(0,4)(0,4)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
   142
#   146		\\000				\000			(0,4)