#!/bin/sh

set -e

indir=cudf
outdir=$TMPDIR

for infile in $indir/*.cudf
do
    cudf=$(basename $infile)
    outfile=$outdir/${cudf%.cudf}.sol
    checkfile=$outdir/${cudf%.cudf}.check
    aspcud $infile $outfile trendy > /dev/null 2>&1
    cudf-check -cudf $infile -sol $outfile > $checkfile 2> /dev/null
    if [ `grep -c "is_solution: true" $checkfile` -ne 1 ]
    then
	echo "Test \"legacy\" with options \"$solver\":"
	cat $checkfile
	exit 1
    fi
done

exit 0
