#!/bin/bash ./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 mkdir ./tmp TMPDIR=./tmp PATH=.:$PATH ../jre/bin/java -ea -Xmx16G -Xms16G -cp ../jre/lib -jar ../lib/aprove.jar -s ../inttrs.strategy -p html -m wst prog.inttrs 2>/dev/null rm prog.inttrs rm -r ./tmp