Akim Demaille c35e829a76 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.

2020-06-16 07:30:46 +02:00

110 KiB

Raw Blame History

View Raw