7 if [ "$x" = "-n" ]; then
10 if [ "$x" = "--" ]; then
13 NOCHECKS="$NOCHECKS $x"
17 if [ "$x" = "--" ]; then
20 YESCHECKS="$YESCHECKS $x"
27 verbose_run_log "$LOG" $VALGRIND "$DTC" -o /dev/null "$@"
32 for c in $YESCHECKS; do
33 if ! grep -E "^(ERROR)|(Warning) \($c\):" $LOG > /dev/null; then
34 FAIL "Failed to trigger check \"$c\""
38 for c in $NOCHECKS; do
39 if grep -E "^(ERROR)|(Warning) \($c\):" $LOG > /dev/null; then
40 FAIL "Incorrectly triggered check \"$c\""