#!/bin/bash ln -s $1 $1.c mkdir ./tmp TMPDIR=./tmp LD_LIBRARY_PATH=.:$LD_LIBRARY_PATH PATH=.:$PATH C_INCLUDE_PATH=../lib/fake_include ../jre/bin/java -Xmx16G -Xms16G -ea -cp ../jre/lib -jar ../lib/aprove.jar -s ../llvm.strategy -m wst -p plain $1.c rm $1.c rm -r ./tmp
