#!/bin/sh make -s clean echo '---running (perl) id script' make -s run 1>/dev/null 2>&1 result=`grep OKAY id.log 2>/dev/null` if [ "$result" = "" ]; then echo " ERROR" else echo " PASSED" fi echo '---running (perl) id2 script, expected failure' make -s bad 1>/dev/null 2>&1 result=`grep "Aborted" id2.log 2>/dev/null` if [ "$result" = "" ]; then echo " ERROR" else echo " PASSED" fi echo '---running (perl) attr script' make -s attr 1>/dev/null 2>&1 result=`grep "chocolate" attr.log 2>/dev/null` if [ "$result" = "" ]; then echo " ERROR" else echo " PASSED" fi echo '---running (perl) prover script' make -s prove 1>/dev/null 2>&1 result=`grep "Success" prover.log 2>/dev/null` if [ "$result" = "" ]; then echo " ERROR" else echo " PASSED" fi