simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-24 02:16:41 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: improve test infra

Browse source
This commit is contained in:
Simon Cruanes 2019-01-22 20:51:16 -06:00 • committed by Guillaume Bury
parent 74956e2e87
commit 53dd3acd4e
2 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Makefile
View file

@ -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

2
tests/run
View file

@ -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'`