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