regex-interpreter/testSuite.hs at main · georgesittas/regex-interpreter · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
import RegInterpreter

testAll = [x | (x,y) <- (zip inputs_full outputs_full), (regexFullMatch x) /= y] == []

inputs_full = [
    ("ab|c","ab"),
    ("ab|.","abd"),
    ("(ab|.)*","abd"),
    ("((ab)*c|c*a(ab)*)*","c"),
    ("((ab)*c|c*a(ab)*)*",""),
    ("((ab)*c|c*a(ab)*)*","a"),
    ("((ab)*c|c*a(ab)*)*","cccccccccccababcccccca"),
    ("((ab)*c|c*a(ab)*)*","ccccc"),
    ("((ab)*c|c*a(ab)*)*","aaaaaaaaaaaaaaa"),
    ("((ab)*c|c*a(ab)*)*","aaaaaaaaaaaaaaa"),
    ("((ab)*c|c*a(ab)*)*","ccccccccccaccca"),
    ("(((((((ab)*c|c*a(ab)*)*)*)*)*)*)*","cacacacaccccaab"),
    ("(((((((ab)*c|c*a(ab)*)*)*)*)*)*)*","cacacacaccccab"),
    ("((ab)*c|c*a(ab)*)*","cacacacaccccaab"),
    ("((ab)*c|c*a(ab)*)*","cacacacaccccab"),
    ("(((a|bcd(.(d*|_).)*a*)ba(e(f|_)|_)*)|_((a|_).e)*((_)*)*(_))|((d.e)*c)", "bcd4ddddoaabaeeefeefefe"),
    ("(((a|bcd(.(d*|_).)*a*)ba(e(f|_)|_)*)|_((a|_).e)*((_)*)*(_))|((d.e)*c)", "bcd4oaabaeeefeefefe"),
    ("(((a|bcd(.(d*|_).)*a*)ba(e(f|_)|_)*)|_((a|_).e)*((_)*)*(_))|((d.e)*c)", "bcd4ddddoaabaeeefeeffefe"),
    ("(((a|bcd(.(d*|_).)*a*)ba(e(f|_)|_)*)|_((a|_).e)*((_)*)*(_))|((d.e)*c)", "abaeeefeefefe"),
    ("(((a|bcd(.(d*|_).)*a*)ba(e(f|_)|_)*)|_((a|_).e)*((_)*)*(_))|((d.e)*c)", "7e5ea5e3e"),
    ("(((a|bcd(.(d*|_).)*a*)ba(e(f|_)|_)*)|_((a|_).e)*((_)*)*(_))|((d.e)*c)", "c")]

outputs_full = [
    True,
    False,
    True,
    True,
    True,
    True,
    True,
    True,
    True,
    True,
    True,
    True,
    False,
    True,
    False,
    True,
    True,
    False,
    True,
    True,
    True]