#!/bin/bash mkdir ./tmp TMPDIR=./tmp PATH=.:$PATH ../jre/bin/java -Xms16G -Xmx16G -ea -cp ../jre/lib -jar ../lib/aprove_debug.jar -m wst -p cpf -C ceta $1 2>/dev/null rm -r ./tmp