diff options
| author | Vincent Imbimbo <vmi6@cornell.edu> | 2020-05-12 22:01:08 -0400 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2020-05-22 07:52:27 +0200 |
| commit | af0441cfd214b6fd322579d91c0588f50666eb50 (patch) | |
| tree | 6a4288d30de10ecca993848ab9f02a4ec2295e23 /src/getargs.c | |
| parent | bbb63b1ca960af27a71d4dc7fcca89e42cf534fe (diff) | |
| download | bison-af0441cfd214b6fd322579d91c0588f50666eb50.tar.gz | |
cex: bind counterexample generation
* src/complain.h, src/complain.c: Add support for -Wcounterexample.
* src/conflicts.c (report_counterexamples): New.
(rule_conflicts_print): Use it when -Wcounterexample is given.
* src/getargs.h, src/getargs.c: Add support for --trace=cex.
* src/main.c (main): Init and deinit counterexample generation.
Diffstat (limited to 'src/getargs.c')
| -rw-r--r-- | src/getargs.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/getargs.c b/src/getargs.c index 4815eaa2..2c65e7b5 100644 --- a/src/getargs.c +++ b/src/getargs.c @@ -261,6 +261,7 @@ static const argmatch_trace_doc argmatch_trace_docs[] = { "skeleton", "skeleton postprocessing" }, { "time", "time consumption" }, { "ielr", "IELR conversion" }, + { "cex", "counterexample generation"}, { "all", "all of the above" }, { NULL, NULL}, }; @@ -283,6 +284,7 @@ static const argmatch_trace_arg argmatch_trace_args[] = { "skeleton", trace_skeleton }, { "time", trace_time }, { "ielr", trace_ielr }, + { "cex", trace_cex }, { "all", trace_all }, { NULL, trace_none}, }; |