]> mj.ucw.cz Git - eval.git/commitdiff
Added interactive+output mode.
authorMartin Mares <mj@ucw.cz>
Sun, 23 Mar 2003 22:36:22 +0000 (22:36 +0000)
committerMartin Mares <mj@ucw.cz>
Sun, 23 Mar 2003 22:36:22 +0000 (22:36 +0000)
TODO
bin/lib

diff --git a/TODO b/TODO
index 335f6e643356bd229f93fdeacc052bfcef78ffcc..718b06691b470db70b65aa3fe5e4a747ad898195 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,5 +1,6 @@
 Evaluator
 ~~~~~~~~~
+!!! timed-out interactive tasks !!!
 lepsi time limity
 zkopirovat *.ok i kdyz program spadne na run-time error
 konfigurovatelne vstupni a vystupni soubory
diff --git a/bin/lib b/bin/lib
index cb9f910c5aa993dcc7c18d3539b56ef4fe0483ca..9adf0dde422d73500e11351b6ed4470efca2414a 100644 (file)
--- a/bin/lib
+++ b/bin/lib
@@ -190,6 +190,11 @@ function test-run-file
        fi
        cat $TDIR/exec.out
        rm $TDIR/exec.out
+       test-fetch-output || return 1
+}
+
+function test-fetch-output
+{
        echo "Output files:"
        ls -Al $BOXDIR
        if [ ! -s $BOXDIR/$PROBLEM.out ] ; then
@@ -234,6 +239,7 @@ function test-run-interactive
        fi
        cat $TDIR/exec.out
        rm $TDIR/exec.out
+       [ -z "$OUTPUT_CHECK" ] || test-fetch-output || return 1
 }
 
 # Syntax checks