#! /bin/sh
JAR=RandoopRunTool.jar
RANDOOP_JAR=./randoop.1.3.3.jar
java -Dsbst.benchmark.randoop="$RANDOOP_JAR" -jar $JAR