#!/bin/bash mkdir ./tmp TMPDIR=./tmp LD_LIBRARY_PATH=.:$LD_LIBRARY_PATH PATH=.:$PATH ../jre/bin/java -ea -Xmx16G -Xms16G -cp ../jre/lib:../lib/aprove_complexity.jar aprove.CommandLineInterface.TrsFullComplexityMain -d 20 -m wst -p plain -t $STAREXEC_WALLCLOCK_LIMIT $1 2> /dev/null rm -r ./tmp