#! /bin/sh
TOOL_HOME=/media/sf_SBST2015competition
CONF=$TOOL_HOME/benchmarks.list
JAR=$TOOL_HOME/tools/benchmarktool-0.0.3-jar-with-dependencies.jar
JUNIT_JAR=$TOOL_HOME/tools/junit-4.10.jar
# Using the newer pitest 1.1.3:
PITEST_JAR=$TOOL_HOME/tools/pitest-1.1.3.jar:$TOOL_HOME/tools/pitest-command-line-1.1.3.jar
JACOCO_JAR=$TOOL_HOME/tools/jacocoagent.jar
#JAVAC_CMD=javac
#JAVA_CMD=java
# Using Java-8:
JAVAC_CMD="/usr/lib/jvm/java-8-oracle/bin/javac"
JAVA_CMD="/usr/lib/jvm/java-8-oracle/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" $*