#!/bin/sh

set -e

indir=${PWD}/examples

for infile in ${indir}/*.dfg
do
    SPASS -PGiven=0 -PProblem=0 ${infile} | \
	grep -q "SPASS beiseite: Proof found."
done
