diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2020-06-14 08:18:37 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2020-06-16 07:30:46 +0200 |
| commit | c35e829a762ef62b83a7843507ffbae847353a08 (patch) | |
| tree | fa081c5cd4687ea36eb488f159737b15ee1dc7d6 /src/getargs.h | |
| parent | d4f854e5b2d6b10b50dee40831c4e107d76cc254 (diff) | |
| download | bison-c35e829a762ef62b83a7843507ffbae847353a08.tar.gz | |
cex: also include in the report on --report=counterexamples
And let --report=all include the counterexamples.
* src/getargs.h, src/getargs.c (report_cex): New.
* src/main.c: Compute counterexamples when -rcex is specified.
* src/print.c: Include the counterexamples when -rcex is specified.
* tests/conflicts.at, tests/existing.at, tests/local.at: Adjust.
Diffstat (limited to 'src/getargs.h')
| -rw-r--r-- | src/getargs.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/getargs.h b/src/getargs.h index 70be70a4..8c47fa58 100644 --- a/src/getargs.h +++ b/src/getargs.h @@ -79,6 +79,7 @@ enum report report_itemsets = 1 << 1, report_lookahead_tokens = 1 << 2, report_solved_conflicts = 1 << 3, + report_cex = 1 << 4, report_all = ~0 }; /** What appears in the *.output file. */ |