commit | 25b3d0e1a3f97a33615099e4b211f3953990c203 | [log] [tgz] |
---|---|---|
author | Akim Demaille <akim.demaille@gmail.com> | Tue Sep 20 08:19:02 2022 +0200 |
committer | Akim Demaille <akim.demaille@gmail.com> | Tue Sep 20 08:25:06 2022 +0200 |
tree | 8c57cb04ae243556b3bb3c860c3503cf09ea25ed | |
parent | de3041b69a72f7a027f20082d8c1eb605d01f9dd [diff] |
cex: check -Dcex.timeout * src/counterexample.c (counterexample_init): Remove stray debug trace. Complain about invalid values. * tests/input.at (-Dcex.timeout): New.