diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2020-05-13 18:38:09 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2020-05-22 07:52:27 +0200 |
| commit | 93c849ef0d1044ac6db395b58ccf494ada9b355b (patch) | |
| tree | 03270f27613af2200cd3b69d8a917b9bd9335196 /tests/local.mk | |
| parent | 62799450031c54ca0a9a5e7f170d62dd63e8e00f (diff) | |
| download | bison-93c849ef0d1044ac6db395b58ccf494ada9b355b.tar.gz | |
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.
Diffstat (limited to 'tests/local.mk')
| -rw-r--r-- | tests/local.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/local.mk b/tests/local.mk index a62fe267..469b1896 100644 --- a/tests/local.mk +++ b/tests/local.mk @@ -47,6 +47,7 @@ TESTSUITE_AT = \ %D%/c++.at \ %D%/calc.at \ %D%/conflicts.at \ + %D%/counterexample.at \ %D%/cxx-type.at \ %D%/diagnostics.at \ %D%/existing.at \ |