]> mj.ucw.cz Git - eval.git/blobdiff - config
Implemented general mechanism for overriding variables for specific
[eval.git] / config
diff --git a/config b/config
index 785862ec8ee8b14ead88bb2170eae4b0011873d5..75f876492d20ec31e2f960fb478e217e060193de 100644 (file)
--- a/config
+++ b/config
@@ -1,5 +1,5 @@
 # Configuration file for the MO Evaluator
-# (c) 2001--2007 Martin Mares <mj@ucw.cz>
+# (c) 2001--2008 Martin Mares <mj@ucw.cz>
 
 # The root of the whole directory hierarchy
 MO_ROOT=/mo
@@ -104,6 +104,12 @@ TIME_LIMIT=10
 # Memory limit in kilobytes
 MEM_LIMIT=16384
 
+# Command used for filtering of program output (optional)
+# If turned on, program output (*.raw) is ran through this filter and the
+# checkers are applied to the output of the filter (*.out).
+# Can exit with code 1 if there is a syntax error in the output.
+#OUTPUT_FILTER='tr -d '\''\r'\'' <$TDIR/$TEST.raw >$TDIR/$TEST.out'
+
 # Command used to check output syntax (optional)
 # Returns exit code 1 if syntax is wrong, 0 if correct
 # fd1 is connect to evaluator log, feel free to log anything
@@ -136,8 +142,17 @@ FREE_PASCAL_RTE=1
 # DEBUG: Let `ev' run sample tests, too.
 #EV_SAMPLE=1
 
-# DEBUG: Run `pedant' on all input data
+# DEBUG: Run `pedant' on all input data. Set either to `1' or to pedant's options.
 #EV_PEDANT=1
 
 # DEBUG: Skip checks (useful when generating output files by running model solution)
 #EV_NOCHECK=1
+
+# DEBUG: Skip output filters (if you suspect they are buggy)
+#EV_NOFILTER=1
+
+### Variables overrides (most variables can be overridden for specific tests or source extensions):
+
+#EXT_pas_TIME_LIMIT=100
+#TEST_1_TIME_LIMIT=100
+#EXT_pas_TEST_1_TIME_LIMIT=100