From 0aa7a4ea25846de7de0973996b1e074a28828045 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 19 Nov 2019 16:16:47 -0600
Subject: [PATCH] chore: update test config

---
 Makefile        | 13 ++++++++++---
 tests/conf.toml |  1 -
 2 files changed, 10 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index 8bafa272..77d9ca76 100644
--- a/Makefile
+++ b/Makefile
@@ -32,9 +32,16 @@ DATE=$(shell date +%FT%H:%M)
 
 logitest-quick:
 	@mkdir -p snapshots
-	$(TESTTOOL) run -c tests/conf.toml tests/ $(TESTOPTS) \
-	  --meta `git rev-parse HEAD` --summary snapshots/quick-$(DATE).txt \
-	  --csv snapshots/quick-$(DATE).csv
+	$(TESTTOOL) run -c tests/conf.toml $(TESTOPTS) \
+	  --meta `git rev-parse HEAD` --csv snapshots/quick-$(DATE).csv tests/sat tests/unsat/ tests/pigeon
+logitest-smt-QF_UF:
+	@mkdir -p snapshots
+	$(TESTTOOL) run -c tests/conf.toml $(TESTOPTS) \
+	  --meta `git rev-parse HEAD` --csv snapshots/smt-QF_UF-$(DATE).csv tests/QF_UF
+logitest-smt-QF_DT:
+	@mkdir -p snapshots
+	$(TESTTOOL) run -c tests/conf.toml $(TESTOPTS) \
+	  --meta `git rev-parse HEAD` --csv snapshots/smt-QF_DT-$(DATE).csv tests/QF_DT
 
 install: build-install
 	@dune install
diff --git a/tests/conf.toml b/tests/conf.toml
index 678cd961..5f7d40d0 100644
--- a/tests/conf.toml
+++ b/tests/conf.toml
@@ -22,7 +22,6 @@ sat = ":status sat"
 timeout=10
 problems = ".*\\.smt2"
 provers = [ "sidekick", ]
-dir = [ "." ]
 
 expect = "program:read-status"