simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-07 19:55:41 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Added smtlib unsat tests to test script

Browse source
This commit is contained in:
Guillaume Bury 2014-11-10 20:01:51 +01:00
parent 562fcc1930
commit 172ff8bca3
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tests/run
View file

@ -4,7 +4,7 @@ CURDIR=`dirname $0`
SOLVER="$CURDIR/../sat_solve.native" SOLVER="$CURDIR/../sat_solve.native"
solvertest () { solvertest () {
for f in `find -L $1 -name *.cnf -type f` for f in `find -L $1 -type f -name '*.cnf' -o -name '*.smt2'`
do do
echo -ne "\r\033[KTesting $f..." echo -ne "\r\033[KTesting $f..."
"$SOLVER" -check -time 30s -size 1G $f | grep $2 > /dev/null 2> /dev/null "$SOLVER" -check -time 30s -size 1G $f | grep $2 > /dev/null 2> /dev/null