diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2020-07-20 07:14:50 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2020-07-20 07:36:38 +0200 |
| commit | b8c5e5609ffdb1f27aacab2209b6517817dce79d (patch) | |
| tree | 11ed59e705992fccdaa19c2e44edac7c1f802439 /tests/report.at | |
| parent | b81229e1f93999c77887422c0795407154876823 (diff) | |
| download | bison-b8c5e5609ffdb1f27aacab2209b6517817dce79d.tar.gz | |
cex: label all the derivations by their initial action
From
input.y: warning: reduce/reduce conflict on token $end [-Wcounterexamples]
Example: A b .
First derivation
a
`-> A b .
Second derivation
a
`-> A b
`-> b .
to
input.y: warning: reduce/reduce conflict on token $end [-Wcounterexamples]
Example: A b .
First reduce derivation
a
`-> A b .
Second reduce derivation
a
`-> A b
`-> b .
* src/counterexample.c (print_counterexample): here.
Compute the width of the labels to properly align the values.
* tests/conflicts.at, tests/counterexample.at, tests/diagnostics.at,
* tests/report.at: Adjust.
Diffstat (limited to 'tests/report.at')
| -rw-r--r-- | tests/report.at | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tests/report.at b/tests/report.at index 8d0a210b..9021f6d5 100644 --- a/tests/report.at +++ b/tests/report.at @@ -1549,10 +1549,10 @@ input.y: warning: shift/reduce conflict on token "⊕" [-Wcounterexamples] ↳ exp "+" exp • input.y: warning: reduce/reduce conflict on tokens $end, "+", "⊕" [-Wcounterexamples] Example: exp "+" exp • - First derivation + First reduce derivation exp ↳ exp "+" exp • - Second derivation + Second reduce derivation exp ↳ exp "+" exp • input.y: warning: shift/reduce conflict on token "⊕" [-Wcounterexamples] @@ -1756,10 +1756,10 @@ State 7 2 exp: exp "+" exp • 3 exp: exp "+" exp • Example: exp "+" exp • - First derivation + First reduce derivation exp ↳ exp "+" exp • - Second derivation + Second reduce derivation exp ↳ exp "+" exp • |