X-Git-Url: http://mj.ucw.cz/gitweb/?a=blobdiff_plain;f=bin%2Fev;h=eeb5f0099aa15519c8f2a575fcf9fb630e172a9e;hb=e39c44529e453e897e638bf3424f912891066a5d;hp=b2573b0958d3539520c2dab51026758e60d6f0cd;hpb=0f5aaa6fd6a30a58f7aa8cd83507fd803d59128a;p=eval.git diff --git a/bin/ev b/bin/ev index b2573b0..eeb5f00 100755 --- a/bin/ev +++ b/bin/ev @@ -1,6 +1,6 @@ #!/bin/bash # The Evaluator -- Master Control Script -# (c) 2001--2003 Martin Mares +# (c) 2001--2004 Martin Mares set -e if [ ! -f config -o ! -f bin/lib ] ; then @@ -10,15 +10,7 @@ fi . bin/lib . config -# Set up environment: -# HDIR home dir of the evaluator -# PDIR problem specific data -# SDIR contestant's solution -# TDIR test results -# BOXDIR sandbox -# PROBLEM problem we're evaluating - -[ -n "$2" ] || die "Usage: ev []" +[ -n "$2" -a -z "$4" ] || die "Usage: ev []" CONTESTANT=$1 PROBLEM=$2 dir-init @@ -27,32 +19,34 @@ log-init box-init # Compile the program -locate-source $3 +locate-source $SDIR/$3 compile || true -# Perform the tests +# Initialize the points file PTSFILE=$TDIR/points +>$PTSFILE + +function test-verdict +{ + if [ $1 == 0 ] ; then + pend "$2" + else + pend "$2 ($1 points)" + fi + echo >>$PTSFILE "$TEST $1 $2" + exit 0 +} + +# Perform the tests for TEST in $TESTS ; do ( [ -f $PDIR/$TEST.config ] && . $PDIR/$TEST.config exec >$TDIR/$TEST.log pstart "Test $TEST... " - echo "Test $TEST" - echo >>$PTSFILE -n "$TEST " - if [ ! -f $TDIR/$PROBLEM ] ; then - echo >>$PTSFILE "0 Compile error." - die "No executable file" - fi - test-run || exit 0 - syntax-check || exit 0 - output-check || exit 0 - if [ -f $TDIR/$TEST.pts ] ; then - PTS=`cat $TDIR/$TEST.pts` - else - PTS=$POINTS_PER_TEST - fi - echo "Test completed OK ($PTS points)" - echo >>$PTSFILE "$PTS OK" - pend "OK, $PTS points" + echo "Test $TEST ($POINTS_PER_TEST points)" + test-run + syntax-check + output-check + die "You must never see this message." ) done