-TomGav:
-- substitute $VAR without using eval
-- stderr parsers
-- VMMax -> getrusage()
-- clean up names of temporary files
-- machine-readable log file
-- configurable names of in/out files
-- multiple in files (stored as an archive or directory)
+TomGav
+~~~~~~
+recursive try-ln for dir input
+clean and well-defined expansion (beware of per-test re-expansion)
+configurable names of in/out files (independent of $PROBLEM)
+paranoidly check file mode/owner before running the sandbox