Remove use of time in tests

Gbury · Jan 15, 2019 · 4c6ae2a · 4c6ae2a
1 parent 2cd6f67
commit 4c6ae2a
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -29,10 +29,14 @@ test_bin:
 test: bin test_bin
 	@echo "run API tests…"
 	@./test_api.native
-	@echo "run benchmarks…"
+	@echo "run bin tests…"
+	./tests/run mcsat
+
+bench:
 	# @/usr/bin/time -f "%e" ./tests/run smt
 	@/usr/bin/time -f "%e" ./tests/run mcsat
 
+
 enable_log:
 	cd src/util; ln -sf log_real.ml log.ml