#! /bin/sh
TOOL_HOME=/media/sf_T2benchmark/testingtools
CONF=$TOOL_HOME/benchmarks.list
JAR=$TOOL_HOME/benchmarktool-0.0.3-jar-with-dependencies.jar
JUNIT_JAR=$TOOL_HOME/junit-4.10.jar
#PITEST_JAR=$TOOL_HOME/pitest-0.31.jar
# Using the newer pitest 1.1:
PITEST_JAR=$TOOL_HOME/pitest-1.0.0.jar:$TOOL_HOME/pitest-command-line-1.0.0.jar
JACOCO_JAR=$TOOL_HOME/jacocoagent.jar
#JAVAC_CMD=javac
#JAVA_CMD=java
# Using Java-8:
JAVAC_CMD=/usr/lib/jvm/jdk1.8.0_05/bin/javac
JAVA_CMD=/usr/lib/jvm/jdk1.8.0_05/bin/java
exec $JAVA_CMD -Dsbst.benchmark.jacoco="$JACOCO_JAR" -Dsbst.benchmark.java="$JAVA_CMD" -Dsbst.benchmark.javac="$JAVAC_CMD" -Dsbst.benchmark.config="$CONF" -Dsbst.benchmark.junit="$JUNIT_JAR" -Dsbst.benchmark.pitest="$PITEST_JAR" -jar "$JAR" $*