#!/bin/bash trap "" SIGRTMIN TO=`expr $STAREXEC_WALLCLOCK_LIMIT - 10` LD_LIBRARY_PATH=../lib:$LD_LIBRARY_PATH PATH=.:$PATH ../jre/bin/java -Xmx14G -Xms14G -ea -cp ../jre/lib -jar ../aprove.jar -p plain -m wst -v SEVERE -w 4 -t $TO $1 2> /dev/null
back to AProVE21
