Mercurial Mercurial > hg > lexing / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
progs/tests/totest.txt
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--
updated
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
 
#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)
lexing