#!/bin/sh

rm -rf hs_*.log

keystore=`pwd`

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

java -classpath ${keystore}/build/classes:. prover_test ${keystore} IceCream delicious Chocolate
