inttrs

loading
details
attribute current value
name inttrs
description no description
owning solver AProVE certified
contents
#!/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

back to AProVE certified