1#! /bin/sh
2
3. ./tests.sh
4
5if [ "$1" = "-n" ]; then
6    NEG="$1"
7    shift
8fi
9
10OUTPUT="$1"
11shift
12
13verbose_run $VALGRIND "$DTC" -o "$OUTPUT" "$@"
14ret="$?"
15
16FAIL_IF_SIGNAL $ret
17
18if [ -n "$NEG" ]; then
19    if [ ! -e "$OUTPUT" ]; then
20	FAIL "Produced no output"
21    fi
22else
23    if [ -e "$OUTPUT" ]; then
24	FAIL "Incorrectly produced output"
25    fi
26fi
27
28rm -f "$OUTPUT"
29
30PASS
31