#! /bin/sh

SRCDIR=`dirname "$0"`
. "$SRCDIR/testutils.sh"

if [ "$1" = "-n" ]; then
    NEG="$1"
    shift
fi

OUTPUT="$1"
shift

verbose_run $VALGRIND "$DTC" -o "$OUTPUT" "$@"
ret="$?"

FAIL_IF_SIGNAL $ret

if [ -n "$NEG" ]; then
    if [ ! -e "$OUTPUT" ]; then
	FAIL "Produced no output"
    fi
else
    if [ -e "$OUTPUT" ]; then
	FAIL "Incorrectly produced output"
    fi
fi

rm -f "$OUTPUT"

PASS
