Skip to content
Snippets Groups Projects
test.sh 971 B
Newer Older
François Bobot's avatar
François Bobot committed
#!/bin/sh -eu
STEPS=100000
François Bobot's avatar
François Bobot committed

François Bobot's avatar
François Bobot committed
echo check SAT tests
François Bobot's avatar
François Bobot committed
if find tests/sat -name "*.smt2" | parallel "$@" --timeout 200 --joblog sat.log "./neno 1 bundle/colibri --max-steps $STEPS {}"; then
    echo OK
else
    echo KO
    awk '$7 == -1' sat.log
    FAIL=true
fi
François Bobot's avatar
François Bobot committed

echo check UNSAT tests
François Bobot's avatar
François Bobot committed
if find tests/unsat -name "*.smt2" | parallel "$@" --timeout 200  --joblog unsat.log "./neno 0 bundle/colibri --max-steps $STEPS {}"; then
    echo OK
else
    echo KO
    awk '$7 == -1' unsat.log
    FAIL=true
fi
François Bobot's avatar
François Bobot committed

echo check UNKNOWN tests
François Bobot's avatar
François Bobot committed
if find tests/unknown -name "*.smt2" | parallel "$@" --timeout 200  --joblog unknown.log "./neno 2 bundle/colibri --max-steps $STEPS {}"; then
    echo OK
else
    awk '$7 == -1' unknown.log
    FAIL=true
fi
François Bobot's avatar
François Bobot committed
#echo check TIMEOUT tests
#find tests/timeout -name "*.smt2" | parallel "$@" --timeout 200  --joblog timeout.log "./neno 2 bundle/colibri --max-steps $STEPS {}" || (awk '$7 != -1' timeout.log && false)