#!/bin/bash ln -s $1 $1.xml mkdir ./tmp TMPDIR=./tmp PATH=.:$PATH ../jre/bin/java -Xms16G -Xmx16G -ea -cp ../jre/lib -jar ../lib/aprove.jar -m wst -p cpf -C ceta $1.xml 2>/dev/null rm $1.xml rm -r ./tmp
back to AProVE 2015
