From 53dd3acd4ee7c62ebaecaee375f892b2a5fad678 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 22 Jan 2019 20:51:16 -0600
Subject: [PATCH] chore: improve test infra

---
 Makefile  | 4 +---
 tests/run | 2 +-
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index b529fa09..b576e4b9 100644
--- a/Makefile
+++ b/Makefile
@@ -22,9 +22,7 @@ build-dev:
 
 test:
 	@echo "run tests…"
-	@dune runtest
-
-test-full: test
+	@OCAMLRUNPARAM=b dune runtest --force --no-buffer
 	@echo "run benchmarks…"
 	@/usr/bin/time -f "%e" ./tests/run sat
 
diff --git a/tests/run b/tests/run
index a8c33d98..9275f63e 100755
--- a/tests/run
+++ b/tests/run
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 CURDIR=`dirname $0`
-SOLVER="$CURDIR/../msat.sh"
+SOLVER="$CURDIR/../_build/default/src/main/main.exe"
 
 solvertest () {
     for f in `find -L $1 -type f -name '*.cnf' # -o -name '*.smt2'`