Skip to content
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
executable file 11 lines (7 sloc) 281 Bytes
# This is a wrapper script that allows the model validator to be used as a
# postprocessor on StarExec.
# $1: model
# $2: benchmark after preprocessing
sed -i 's/^[0-9]*\.[0-9]*\/[0-9]*.[0-9]*\t//g' $1
PYTHONPATH="pysmt" python2 --smt2 $2 --model $1
You can’t perform that action at this time.