From 48d6b5738373e4f648784c56800716aa483ed92d Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 8 Jan 2020 19:51:12 -0600
Subject: [PATCH] test: enable progress by default

---
 tests/benchpress.sexp   | 2 ++
 tests/unsat/cstor1.smt2 | 6 ------
 2 files changed, 2 insertions(+), 6 deletions(-)
 delete mode 100644 tests/unsat/cstor1.smt2

diff --git a/tests/benchpress.sexp b/tests/benchpress.sexp
index 9a347b4f..20006d15 100644
--- a/tests/benchpress.sexp
+++ b/tests/benchpress.sexp
@@ -36,3 +36,5 @@
       (timeout 10)
       (dirs $HOME/workspace/smtlib))))
 
+(set-options (progress true))
+
diff --git a/tests/unsat/cstor1.smt2 b/tests/unsat/cstor1.smt2
deleted file mode 100644
index c24e1a6e..00000000
--- a/tests/unsat/cstor1.smt2
+++ /dev/null
@@ -1,6 +0,0 @@
-
-(set-info :status unsat)
-(declare-datatypes ((nat 0)) (((succ (pred nat)) (zero))))
-
-(assert (= (succ (succ zero)) (succ zero)))
-(check-sat)