-
Notifications
You must be signed in to change notification settings - Fork 0
/
parser_output.txt
59 lines (53 loc) · 1.64 KB
/
parser_output.txt
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
50
51
52
53
54
55
56
57
58
59
parser_output.txt
Gregory Smith b00095534
Joseph Press b00095348
Abdu Sallouh b00087818
1.txt:
Valid program
2.txt:
Valid program
3.txt:
Valid program
4.txt:
Line 5: <special> characters like "-" are not allowed in non-string terms
Line 5: <terms> in a <term-list> must be comma-separated
5.txt:
Line 3: invalid <predicate>: "A1 is N*A"
Line 3: invalid <predicate>: "N1 is N-1"
6.txt:
Line 1: invalid <term>: "[]"
Line 1: invalid <term>: " []"
Line 2: invalid <term>: "[A]"
Line 2: invalid <term>: " [A]"
Line 3: invalid <term>: "[A"
Line 3: <terms> in a <term-list> must be comma-separated
Line 3: invalid <term>: " | Rest]"
Line 3: invalid <term>: "[A"
Line 3: <terms> in a <term-list> must be comma-separated
Line 3: invalid <term>: " | Rest]"
Line 7: invalid <term>: "[]"
Line 7: invalid <term>: " []"
Line 7: invalid <term>: " []"
Line 7: invalid <term>: "[A]"
Line 7: invalid <term>: " [A]"
Line 7: invalid <term>: " []"
Line 8: invalid <term>: "[A"
Line 8: <terms> in a <term-list> must be comma-separated
Line 8: invalid <term>: " | R]"
Line 8: invalid <term>: " [A | Ra]"
Line 8: invalid <term>: " [B | Rb]"
Line 9: invalid <term>: " []"
Line 9: invalid <term>: "[]"
Line 10: invalid <term>: "[A | Ra]"
Line 10: invalid <term>: " [B | Rb]"
Line 10: invalid <term>: " [A | M]"
Line 10: invalid <predicate>: "A =< B"
Line 10: invalid <term>: " [B | Rb]"
Line 11: invalid <term>: "[A | Ra]"
Line 11: invalid <term>: " [B | Rb]"
Line 11: invalid <term>: " [B | M]"
Line 11: invalid <predicate>: "A > B"
Line 11: invalid <term>: "[A | Ra]"
Line 12: invalid <term>: "[3"
Line 12: <terms> in a <term-list> must be comma-separated
Line 12: invalid <term>: "]"