From d6c003390df27c7adec9e305aeca02f126c165ed Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 13 Dec 2019 16:38:01 -0600
Subject: [PATCH] rename logitest to benchpress

---
 Makefile                                 | 10 +++++-----
 tests/{logitest.sexp => benchpress.sexp} |  0
 2 files changed, 5 insertions(+), 5 deletions(-)
 rename tests/{logitest.sexp => benchpress.sexp} (100%)

diff --git a/Makefile b/Makefile
index d7d7cacc..dd8be457 100644
--- a/Makefile
+++ b/Makefile
@@ -26,19 +26,19 @@ clean:
 test:
 	@dune runtest --force --no-buffer
 
-TESTOPTS ?= -j $(J) -c tests/logitest.sexp
-TESTTOOL=logitest
+TESTOPTS ?= -j $(J) -c tests/benchpress.sexp
+TESTTOOL=benchpress
 DATE=$(shell date +%FT%H:%M)
 
 snapshots:
 	@mkdir -p snapshots
-logitest-quick: snapshots
+$(TESTTOOL)-quick: snapshots
 	$(TESTTOOL) run $(TESTOPTS) \
 	  --csv snapshots/quick-$(DATE).csv --task sidekick-smt-quick
-logitest-smt-QF_UF: snapshots
+$(TESTTOOL)-smt-QF_UF: snapshots
 	$(TESTTOOL) run $(TESTOPTS) \
 	  --csv snapshots/smt-QF_UF-$(DATE).csv --task sidekick-smt-nodir tests/QF_UF
-logitest-smt-QF_DT: snapshots
+$(TESTTOOL)-smt-QF_DT: snapshots
 	$(TESTTOOL) run $(TESTOPTS) \
 	  --csv snapshots/smt-QF_DT-$(DATE).csv --task sidekick-smt-nodir tests/QF_DT
 
diff --git a/tests/logitest.sexp b/tests/benchpress.sexp
similarity index 100%
rename from tests/logitest.sexp
rename to tests/benchpress.sexp