progs/tests/nullsub3.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:
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*)*		a		(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
     2
#     2		SAME		x		(0,0)(0,0)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     3
#     3		SAME		aaaaaa		(0,6)(0,6)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     4
#     4		SAME		aaaaaax		(0,6)(0,6)
161
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*)+		a		(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
     6
#     6		SAME		x		(0,0)(0,0)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     7
#     7		SAME		aaaaaa		(0,6)(0,6)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
     8
#     8		SAME		aaaaaax		(0,6)(0,6)
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		(a+)*		a		(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
    10
#    10		SAME		x		(0,0)(?,?)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    11
#    11		SAME		aaaaaa		(0,6)(0,6)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    12
#    12		SAME		aaaaaax		(0,6)(0,6)
161
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    13
    13		(a+)+		a		(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
    14
#    14		SAME		x		NOMATCH
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    15
#    15		SAME		aaaaaa		(0,6)(0,6)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    16
#    16		SAME		aaaaaax		(0,6)(0,6)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    17
    17		(a*)*		a		(0,1)(0,1)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    18
#    18		SAME		x		(0,0)(0,0)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    19
#    19		SAME		aaaaaa		(0,6)(0,6)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    20
#    20		SAME		aaaaaax		(0,6)(0,6)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    21
    21		(a*)+		a		(0,1)(0,1)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    22
#   22		SAME		x		(0,0)(0,0)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    23
#    23		SAME		aaaaaa		(0,6)(0,6)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    24
#    24		SAME		aaaaaax		(0,6)(0,6)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    25
#    25		([^b]*)*	a		(0,1)(0,1)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    26
#    26		SAME		b		(0,0)(0,0)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    27
#    27		SAME		aaaaaa		(0,6)(0,6)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    28
#    28		SAME		aaaaaab		(0,6)(0,6)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    29
#    29		([ab]*)*	a		(0,1)(0,1)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    30
#    30		SAME		aaaaaa		(0,6)(0,6)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    31
#    31		SAME		ababab		(0,6)(0,6)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    32
#    32		SAME		bababa		(0,6)(0,6)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    33
#    33		SAME		b		(0,1)(0,1)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    34
#    34		SAME		bbbbbb		(0,6)(0,6)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    35
#    35		SAME		aaaabcde	(0,5)(0,5)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    36
#    36		([^a]*)*	b		(0,1)(0,1)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    37
#    37		SAME		bbbbbb		(0,6)(0,6)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    38
#    38		SAME		aaaaaa		(0,0)(0,0)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    39
#    39		([^ab]*)*	ccccxx		(0,6)(0,6)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    40
#    40		SAME		ababab		(0,0)(0,0)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    41
#    41		((z)+|a)*	zabcde		(0,2)(1,2)(?,?)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    42
#    42		(a)		aaa		(0,1)(0,1)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    43
    46		(a*)*(x)		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
    44
    47		(a*)*(x)		ax	(0,2)(0,1)(1,2)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    45
#    48		(a*)*(x)		axa	(0,2)(0,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
    46
    49		(a*)+(x)		x	(0,1)(0,0)(0,1)
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
    47
    50		(a*)+(x)		ax	(0,2)(0,1)(1,2)
195
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    48
#    51		(a*)+(x)		axa	(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
    49
#    52		(a*){2}(x)		x	(0,1)(0,0)(0,1)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    50
#    53		(a*){2}(x)		ax	(0,2)(1,1)(1,2)
c2d36c3cf8ad run all posix tests
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 161
diff changeset
    51
#    54		(a*){2}(x)		axa	(0,2)(1,1)(1,2)