inttrs_certified

#!/bin/bash
trap "" SIGRTMIN
TO=`expr $STAREXEC_WALLCLOCK_LIMIT - 10`
./convert.native --convert-to IntTRS $1 > prog.inttrs
HAT="HAT"
EXCL="EXCL"
PRIME="'"
while grep -Fxq "$HAT" prog.inttrs
do
    HAT=$HAT$PRIME
done
while grep -Fxq "$EXCL" prog.inttrs
do
    EXCL=$EXCL$PRIME
done
sed -i "s/\^/$HAT/g" prog.inttrs
sed -i "s/!/$EXCL/g" prog.inttrs
OUT=`LD_LIBRARY_PATH=../lib:$LD_LIBRARY_PATH PATH=.:$PATH ../jre/bin/java -Xmx14G -Xms14G -ea -cp ../jre/lib -jar ../aprove.jar -p cpf -m wst -C ceta -w 4 -t $TO prog.inttrs 2> /dev/null`
if [[ $OUT == YES* ]] || [[ $OUT == NO* ]] || [[ $OUT == WORST_CASE* ]];
then
    echo "$OUT"
fi
rm prog.inttrs