#!/bin/sh

rm -rf hs_*.log

keystore=`pwd`

javac -classpath ${keystore}/build/classes prover_test.java

java -classpath ${keystore}/build/classes:. -Djava.library.path=/usr/local/lib prover_test ${keystore} IceCream delicious Chocolate