X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=bin%2Fev;h=0a462bf40f4a0a56689f85b4641b2847be2c4030;hb=666506e10535397d92733c7b6df0421c18708d04;hp=c25f97a7af9670e9716876efd71adbb68e22a05c;hpb=762cd19388d4958967e087226acd8875ab997c68;p=eval.git

diff --git a/bin/ev b/bin/ev
index c25f97a..0a462bf 100755
--- a/bin/ev
+++ b/bin/ev
@@ -31,21 +31,18 @@ compile
 # Perform the tests
 for TEST in $TESTS ; do
 	(
-	pstart "Test $TEST... "
 	[ -f $PDIR/$TEST.config ] && . $PDIR/$TEST.config
 	exec >$TDIR/$TEST.log
 	PTSFILE=$TDIR/$TEST.pts
+	pstart "Test $TEST ($POINTS_PER_TEST points)... "
 	echo "Test $TEST ($POINTS_PER_TEST points)"
-	if [ ! -f $TDIR/compile.out ] ; then
-		echo >$PTSFILE "0 --"
-		die "No source file"
-	fi
 	if [ ! -f $TDIR/$PROBLEM ] ; then
-		echo >$PTSFILE "0 CE"
+		echo >$PTSFILE "0 Compile error."
 		die "No executable file"
 	fi
 	$TEST_RUN_METHOD || exit 0
-
+	syntax-check || exit 0
+	output-check || exit 0
 	echo "Test completed OK ($POINTS_PER_TEST points)"
 	echo >$PTSFILE "$POINTS_PER_TEST OK"
 	pend "OK"