63 |
AT_CHECK([cat input.output], [], |
AT_CHECK([cat input.output], [], |
64 |
[[State 4 contains 1 shift/reduce conflict. |
[[State 4 contains 1 shift/reduce conflict. |
65 |
|
|
66 |
|
|
67 |
Grammar |
Grammar |
68 |
|
|
69 |
Number, Line, Rule |
Number, Line, Rule |
70 |
1 3 exp -> exp OP exp |
1 3 exp -> exp OP exp |
71 |
2 3 exp -> NUM |
2 3 exp -> NUM |
72 |
|
|
73 |
|
|
74 |
Terminals, with rules where they appear |
Terminals, with rules where they appear |
75 |
|
|
76 |
$ (-1) |
$ (-1) |
78 |
NUM (257) 2 |
NUM (257) 2 |
79 |
OP (258) 1 |
OP (258) 1 |
80 |
|
|
81 |
|
|
82 |
Nonterminals, with rules where they appear |
Nonterminals, with rules where they appear |
83 |
|
|
84 |
exp (5) |
exp (5) |
141 |
state 6 |
state 6 |
142 |
|
|
143 |
$default accept |
$default accept |
144 |
|
|
145 |
|
|
146 |
]]) |
]]) |
147 |
|
|
148 |
AT_CLEANUP |
AT_CLEANUP |
167 |
AT_CHECK([cat input.output], [], |
AT_CHECK([cat input.output], [], |
168 |
[[Conflict in state 4 between rule 1 and token OP resolved as shift. |
[[Conflict in state 4 between rule 1 and token OP resolved as shift. |
169 |
|
|
170 |
|
|
171 |
Grammar |
Grammar |
172 |
|
|
173 |
Number, Line, Rule |
Number, Line, Rule |
174 |
1 4 exp -> exp OP exp |
1 4 exp -> exp OP exp |
175 |
2 4 exp -> NUM |
2 4 exp -> NUM |
176 |
|
|
177 |
|
|
178 |
Terminals, with rules where they appear |
Terminals, with rules where they appear |
179 |
|
|
180 |
$ (-1) |
$ (-1) |
182 |
NUM (257) 2 |
NUM (257) 2 |
183 |
OP (258) 1 |
OP (258) 1 |
184 |
|
|
185 |
|
|
186 |
Nonterminals, with rules where they appear |
Nonterminals, with rules where they appear |
187 |
|
|
188 |
exp (5) |
exp (5) |
244 |
state 6 |
state 6 |
245 |
|
|
246 |
$default accept |
$default accept |
247 |
|
|
248 |
|
|
249 |
]]) |
]]) |
250 |
|
|
251 |
AT_CLEANUP |
AT_CLEANUP |
293 |
|
|
294 |
# Check the contents of the report. |
# Check the contents of the report. |
295 |
AT_CHECK([cat input.output], [], |
AT_CHECK([cat input.output], [], |
296 |
[[ |
[[Grammar |
|
Grammar |
|
297 |
|
|
298 |
Number, Line, Rule |
Number, Line, Rule |
299 |
1 2 @1 -> /* empty */ |
1 2 @1 -> /* empty */ |
301 |
3 15 @2 -> /* empty */ |
3 15 @2 -> /* empty */ |
302 |
4 15 expr -> @2 'c' |
4 15 expr -> @2 'c' |
303 |
|
|
304 |
|
|
305 |
Terminals, with rules where they appear |
Terminals, with rules where they appear |
306 |
|
|
307 |
$ (-1) |
$ (-1) |
310 |
'c' (99) 4 |
'c' (99) 4 |
311 |
error (256) |
error (256) |
312 |
|
|
313 |
|
|
314 |
Nonterminals, with rules where they appear |
Nonterminals, with rules where they appear |
315 |
|
|
316 |
expr (6) |
expr (6) |
389 |
state 8 |
state 8 |
390 |
|
|
391 |
$default accept |
$default accept |
392 |
|
|
393 |
|
|
394 |
]]) |
]]) |
395 |
|
|
396 |
AT_CLEANUP |
AT_CLEANUP |