#!/bin/sh 

run_clean

echo '---running haystack fruit_prover 0 scaling'
run_one 0  1> log 2>/dev/null
result=`grep PASSED log 2>/dev/null`
if [ "$result" = "" ]; then
   echo "   ERROR"
else   
   echo "   PASSED"
fi
rm -rf log


echo '---running haystack fruit_prover 10 scaling'
run_one 10  1> log 2>/dev/null
result=`grep PASSED log 2>/dev/null`
if [ "$result" = "" ]; then
   echo "   ERROR"
else   
   echo "   PASSED"
fi
rm -rf log

echo '---running haystack fruit_prover 20 scaling'
run_one 20  1> log 2>/dev/null
result=`grep PASSED log 2>/dev/null`
if [ "$result" = "" ]; then
   echo "   ERROR"
else   
   echo "   PASSED"
fi
rm -rf log

echo '---running haystack fruit_prover 30 scaling'
run_one 30  1> log 2>/dev/null
result=`grep PASSED log 2>/dev/null`
if [ "$result" = "" ]; then
   echo "   ERROR"
else   
   echo "   PASSED"
fi
rm -rf log

echo '---running haystack fruit_prover 200 scaling'
run_one 200  1> log 2>/dev/null
result=`grep PASSED log 2>/dev/null`
if [ "$result" = "" ]; then
   echo "   ERROR"
else   
   echo "   PASSED"
fi
rm -rf log

