Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
executable file 19 lines (15 sloc) 448 Bytes
#!/bin/bash
# Tjark Weber
# SMT-COMP post-processor for the application track
set -e
set -u
if grep -qsw 'WRONG solver response: got' "$1"; then
echo "wrong-answers=1"
# scoring rules: if there is a wrong answer, correct answers don't count
echo "correct-answers=0"
else
echo "wrong-answers=0"
SAT=$(grep -csw 'sat$' "$1") || SAT=0
UNSAT=$(grep -csw 'unsat$' "$1") || UNSAT=0
echo "correct-answers=$((SAT+UNSAT))"
fi
You can’t perform that action at this time.