Commit d91ef1cf authored by Etienne Renault's avatar Etienne Renault
Browse files

benchs: script used to extract behviour from solutions

* benchs/RERS/extract_rers_behaviors.sh: Here.
parent 0353bde0
FIRST=0
LAST=$(cat $1 | grep error_ | sed s/error_//g | tail -n 1 | awk '{print $1}')
for i in $(seq $FIRST $LAST); do
TMP=$(grep "error_$i " $1)
if [ "$TMP" == "" ]; then
echo EMPTY '!<> (("main___VERIFIER_error_n == '$i'") && "main___VERIFIER_error__callerLabel != 0")'
else
echo NOTEMPTY '!<> (("main___VERIFIER_error_n == '$i'") && "main___VERIFIER_error__callerLabel != 0")'
fi
done
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment