Akim Demaille 25b3d0e1a3 cex: check -Dcex.timeout ...

* src/counterexample.c (counterexample_init): Remove stray debug
trace.
Complain about invalid values.
* tests/input.at (-Dcex.timeout): New.

2022-09-20 08:25:06 +02:00

88 KiB

Raw Blame History

View Raw