Akim Demaille 93c849ef0d cex: fixes, and enable tests ...

* src/counterexample.c, src/derivation.c:
Do not output diagnostics on stdout, that's the job of stderr, and the
testsuite heavily depend on this.
Do not leave trailing spaces in the output.
* tests/counterexample.at: Use AT_KEYWORDS.
Specify the expected outputs.
* tests/local.mk: Add counterexample.at.

2020-05-22 07:52:27 +02:00

5.2 KiB

Raw Blame History

View Raw