diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2022-09-20 08:19:02 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2022-09-20 08:25:06 +0200 |
commit | 25b3d0e1a3f97a33615099e4b211f3953990c203 (patch) | |
tree | 8c57cb04ae243556b3bb3c860c3503cf09ea25ed /tests/sets.at | |
parent | de3041b69a72f7a027f20082d8c1eb605d01f9dd (diff) | |
download | bison-25b3d0e1a3f97a33615099e4b211f3953990c203.tar.gz |
cex: check -Dcex.timeout
* src/counterexample.c (counterexample_init): Remove stray debug
trace.
Complain about invalid values.
* tests/input.at (-Dcex.timeout): New.
Diffstat (limited to 'tests/sets.at')
0 files changed, 0 insertions, 0 deletions