+#!/bin/bash
# The Evaluator -- Public Checking Script
-# (c) 2001 Martin Mares <mj@ucw.cz>
+# (c) 2001--2007 Martin Mares <mj@ucw.cz>
set -e
-[ -n "$MO_PUBLIC" -a -d "$MO_PUBLIC" ] || { echo >&2 "MO_PUBLIC not set, giving up." ; exit 1 ; }
-. $MO_PUBLIC/bin/lib
-. $MO_PUBLIC/config
+[ -n "$MO_ROOT" -a -d "$MO_ROOT" ] || { echo >&2 "MO_ROOT not set, giving up." ; exit 1 ; }
+. $MO_ROOT/bin/lib
+. $MO_ROOT/config
-[ -n "$1" ] || die "Usage: check <problem>"
+function usage
+{
+ die "Usage: check [-s <source-file>] <problem> [<test-number>]"
+}
+
+SRCFILE=
+while getopts "s:" opt ; do
+ case $opt in
+ s) SRCFILE="$OPTARG"
+ ;;
+ *) usage
+ ;;
+ esac
+done
+shift $(($OPTIND-1))
+[ -n "$1" ] || usage
PROBLEM=$1
+TEST=
+shift
+if [ -n "$1" ] ; then
+ TEST="$1"
+ shift
+fi
+[ -z "$1" ] || usage
+
public-setup
. $PDIR/config
-locate-source
-compile
-TEST=$SAMPLE_TEST
-PTSFILE=$TDIR/points
-pstart "Checking on sample input: "
-test-run
-syntax-check
-pend "OK"
+
+function test-verdict
+{
+ pend "$2"
+ if [ $1 == 0 ] ; then
+ exit 1
+ else
+ exit 0
+ fi
+}
+
+if [ $TASK_TYPE == open-data ] ; then
+ [ -n "$TEST" ] || die "You need to specify test number for open data problems."
+ pstart "Checking $TEST: "
+ open-locate $SRCFILE
+ ln $SRCN $TDIR/$TEST.out
+ syntax-check
+ test-result 1 OK
+else
+ [ -z "$TEST" ] || die "Test number should be given only for open data problems."
+ locate-source $SRCFILE
+ compile
+ RC=0
+ for TEST in $SAMPLE_TESTS ; do
+ (
+ pstart "Checking on sample input $TEST: "
+ test-run
+ syntax-check
+ output-check
+ ) || RC=1
+ done
+ exit $RC
+fi