#!/bin/sh -u

STEPS=100

echo check SAT tests
find tests/sat -name "*.smt2" | parallel "$@" --timeout 200 --joblog sat.log "./neno 1 bundle/colibri --max-steps $STEPS {}" || (awk '$7 == -1' sat.log && false)

echo check UNSAT tests
find tests/unsat -name "*.smt2" | parallel "$@" --timeout 200  --joblog unsat.log "./neno 0 bundle/colibri --max-steps $STEPS {}" || (awk '$7 == -1' unsat.log && false)

echo check UNKNOWN tests
find tests/unknown -name "*.smt2" | parallel "$@" --timeout 200  --joblog unknown.log "./neno 2 bundle/colibri --max-steps $STEPS {}" || (awk '$7 == -1' unknown.log && false)

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)