#!/bin/sh TESTNAME=t10 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 -min -op tmp TEST=`grep -c "0-1- 010" tmp` if [ $TEST -ne 1 ]; then echo "$TEST ... failed" exit 1 fi TEST=`grep -c "1--1 001" tmp` if [ $TEST -ne 1 ]; then echo "$TEST ... failed" exit 1 fi TEST=`grep -c "10-- 101" tmp` if [ $TEST -ne 1 ]; then echo "$TEST ... failed" exit 1 fi TEST=`grep -c "11-- 010" tmp` if [ $TEST -ne 1 ]; then echo "$TEST ... failed" exit 1 fi TEST=`grep -c ".p 4" tmp` if [ $TEST -ne 1 ]; then echo "$TEST ... failed" exit 1 fi echo "$TESTNAME ... success." echo "Removing $TESTNAME tmp" rm tmp