#!/bin/sh TESTNAME=t09 DGSOP=/usr/bin/dgsop EXAMPLE=/usr/share/dgc/example.pla if [ ! -f $DGSOP ]; then echo "$DGSOP doesn't exist" exit 1 fi if [ ! -f $EXAMPLE ]; then echo "$EXAMPLE doesn't exist" exit 1 fi $DGSOP $EXAMPLE -primes -op tmp TEST=`grep -c "10-- 101" tmp` if [ $TEST -ne 1 ]; then echo "$TEST ... failed" exit 1 fi TEST=`grep -c "11-1 011" tmp` if [ $TEST -ne 1 ]; then echo "$TEST ... failed" exit 1 fi TEST=`grep -c "001- 011" tmp` if [ $TEST -ne 1 ]; then echo "$TEST ... failed" exit 1 fi TEST=`grep -c ".p 7" tmp` if [ $TEST -ne 1 ]; then echo "$TEST ... failed" exit 1 fi echo "$TESTNAME ... success." echo "Removing $TESTNAME tmp" rm tmp