From 93c849ef0d1044ac6db395b58ccf494ada9b355b Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Wed, 13 May 2020 18:38:09 +0200
Subject: 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.
---
 tests/local.mk | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tests/local.mk')

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                             \
-- 
cgit v1.2.1