The FIXME was wrong, start_time is available whenever box_pid is.

[eval.git] / TODO

diff --git a/TODO b/TODO
index a9eed88fe9fd4c135a1a65a1e7800a63c86eb573..db242924018222523bbe7130ef33502eae17a515 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,21 +1,16 @@
 New directory layout
 ~~~~~~~~~~~~~~~~~~~~
-mop/ and public/ are broken
-sync with main libucw repo
+The scripts in mop/admin/ need debugging
 
 Evaluator
 ~~~~~~~~~
-score: better formatting of the score table
 interactive tasks: solve deadlocks?
 interactive tasks: logging of messages
 terminology: problem -> task ?
-writing of verdicts to stdout (include timing and check on interactive tasks, including judge errors)
 box: memory usage statistics (need to search for VMPeak in /proc/$PID/status, but it disappears too early)
-remove scanning of users by UID
 
 Judges
 ~~~~~~
-clean up exit codes
 test cases for judge-shuff
 
 Environment
@@ -36,10 +31,8 @@ box: limit the total amount of data written to files, so that quotas don't have
 
 TomGav
 ~~~~~~
-
 recursive try-ln for dir input
 clean and well-defined expansion (beware of per-test re-expansion)
 machine-readable log file and/or metadata output from the sandbox
 configurable names of in/out files (independent of $PROBLEM)
 paranoidly check file mode/owner before running the sandbox
-