#!/bin/bash trap "" SIGRTMIN export LD_LIBRARY_PATH=../lib:../c_lib:$LD_LIBRARY_PATH export PATH=.:$PATH TO=`expr $STAREXEC_WALLCLOCK_LIMIT - 5` FULLNAME=$1 BASENAME=`basename $1 .c` TMP=$2 clang -Wall -Wextra -c -emit-llvm -O0 $FULLNAME -o $TMP/$BASENAME.bc 2> /dev/null if [ $? != 0 ] then echo "clang failed" exit 1 fi llvm2kittel -uniform-complexity-tuples $TMP/$BASENAME.bc > $TMP/bench.koat 2> /dev/null if [ $? != 0 ] then echo "llvm2kittel failed" exit 2 fi ../jre/bin/java -Xmx14G -Xms14G -ea -cp ../jre/lib -jar ../aprove.jar -p plain -m wst -w 4 -s ../c_complexity.strategy -t $TO $TMP/bench.koat 2> /dev/null rm $TMP/bench.koat