Akim Demaille
b65bd16e45
cex: display all the S/R conflicts, not just one per (state, rule)
Before this commit, on
%%
exp
: "if" exp "then" exp
| "if" exp "then" exp "else" exp
| exp "+" exp
| "num"
we used to not display the third counterexample below:
Shift/reduce conflict on token "+":
Example exp "+" exp . "+" exp
First derivation exp ::=[ exp ::=[ exp "+" exp . ] "+" exp ]
Second derivation exp ::=[ exp "+" exp ::=[ exp . "+" exp ] ]
Shift/reduce conflict on token "else":
Example "if" exp "then" "if" exp "then" exp . "else" exp
First derivation exp ::=[ "if" exp "then" exp ::=[ "if" exp "then" exp . ] "else" exp ]
Second derivation exp ::=[ "if" exp "then" exp ::=[ "if" exp "then" exp . "else" exp ] ]
Shift/reduce conflict on token "+":
Example "if" exp "then" exp . "+" exp
First derivation exp ::=[ exp ::=[ "if" exp "then" exp . ] "+" exp ]
Second derivation exp ::=[ "if" exp "then" exp ::=[ exp . "+" exp ] ]
Shift/reduce conflict on token "+":
Example "if" exp "then" exp "else" exp . "+" exp
First derivation exp ::=[ exp ::=[ "if" exp "then" exp "else" exp . ] "+" exp ]
Second derivation exp ::=[ "if" exp "then" exp "else" exp ::=[ exp . "+" exp ] ]
* src/counterexample.c (counterexample_report_state): Don't stop of
the first conflicts.
* tests/conflicts.at, tests/counterexample.at, tests/diagnostics.at,
* tests/report.at: Adjust.
2020-06-23 06:56:04 +02:00
..
2010-10-17 10:23:55 -04:00
2020-01-10 19:16:23 +01:00
2020-06-01 18:52:22 +02:00
2020-01-10 19:16:23 +01:00
2020-01-10 19:16:23 +01:00
2020-05-25 07:41:05 +02:00
2020-05-25 07:14:34 +02:00
2020-06-22 19:33:30 +02:00
2020-06-22 19:33:30 +02:00
2020-06-16 07:30:26 +02:00
2020-06-16 07:30:26 +02:00
2020-06-23 06:56:04 +02:00
2020-06-16 07:30:26 +02:00
2020-06-22 07:11:31 +02:00
2020-06-16 07:30:26 +02:00
2020-05-23 08:43:58 +02:00
2020-01-10 19:16:23 +01:00
2020-06-07 09:18:58 +02:00
2020-06-07 09:18:58 +02:00
2020-06-01 18:52:22 +02:00
2020-01-10 19:16:23 +01:00
2020-06-13 15:20:56 +02:00
2020-06-16 07:30:46 +02:00
2020-06-16 07:30:46 +02:00
2020-06-16 07:58:40 +02:00
2020-06-16 07:58:40 +02:00
2020-06-13 16:58:13 +02:00
2020-06-13 16:58:13 +02:00
2020-04-29 08:47:04 +02:00
2020-05-25 07:41:05 +02:00
2020-01-10 19:16:23 +01:00
2020-01-10 19:16:23 +01:00
2020-01-10 19:16:23 +01:00
2020-05-03 17:37:34 +02:00
2020-01-10 19:16:23 +01:00
2020-06-16 07:58:40 +02:00
2020-03-08 10:13:16 +01:00
2020-03-08 10:13:16 +01:00
2020-05-25 07:14:34 +02:00
2020-03-06 08:30:21 +01:00
2020-06-16 07:30:26 +02:00
2020-05-23 11:19:27 +02:00
2020-06-16 07:30:46 +02:00
2020-06-13 16:56:40 +02:00
2020-01-10 19:16:23 +01:00
2020-01-10 19:16:23 +01:00
2020-01-10 19:16:23 +01:00
2020-01-10 19:16:23 +01:00
2020-01-10 19:16:23 +01:00
2020-06-07 06:50:58 +02:00
2020-01-10 19:16:23 +01:00
2020-06-13 16:58:03 +02:00
2020-06-13 16:58:03 +02:00
2020-06-13 16:56:40 +02:00
2020-06-22 07:11:31 +02:00
2020-06-19 08:02:18 +02:00
2020-06-13 16:58:13 +02:00
2020-01-10 19:16:23 +01:00
2020-05-25 07:41:05 +02:00
2020-06-01 18:52:22 +02:00
2020-06-16 07:30:46 +02:00
2020-01-10 19:16:23 +01:00
2020-06-13 16:56:40 +02:00
2020-03-06 08:30:21 +01:00
2020-01-10 19:16:23 +01:00
2020-01-10 19:16:23 +01:00
2020-01-10 19:16:23 +01:00
2020-01-10 19:16:23 +01:00
2020-01-10 19:16:23 +01:00
2020-01-10 19:16:23 +01:00
2008-11-15 10:47:15 +01:00
2020-01-10 19:16:23 +01:00
2020-06-13 15:20:56 +02:00
2008-11-15 10:47:15 +01:00
2020-01-10 19:16:23 +01:00
2020-06-13 16:56:40 +02:00
2008-11-15 10:47:15 +01:00
2020-01-10 19:16:23 +01:00
2020-06-13 15:20:56 +02:00
2020-06-16 07:30:26 +02:00
2020-06-16 07:30:26 +02:00
2020-06-16 07:29:46 +02:00
2020-06-16 07:29:46 +02:00
2020-01-10 19:16:23 +01:00
2020-01-10 19:16:23 +01:00
2020-05-23 08:43:58 +02:00
2020-05-23 08:43:58 +02:00
2020-06-13 16:58:13 +02:00
2020-04-05 19:14:39 +02:00
2020-01-10 19:16:23 +01:00
2020-05-22 08:45:43 +02:00
2020-01-10 19:16:23 +01:00
2019-01-12 10:45:21 +01:00