diff -r c45d3cd9a749 -r dcaab8068baa marking/mark03a
--- a/marking/mark03a	Sat Nov 04 16:17:19 2017 +0000
+++ b/marking/mark03a	Sun Nov 05 12:02:09 2017 +0000
@@ -19,14 +19,14 @@
 # compilation tests
 
 function scala_compile {
-  (scala "$1" 2> /dev/null 1> /dev/null) 
+  (ulimit -t 1 ; scala "$1" 1> $out 2> $out) 
 }
 
 
 # functional tests
 
 function scala_assert {
-  (scala -i "$1" "$2" -e "" 2> /dev/null 1> /dev/null)
+  (ulimit - t 1; scala -i "$1" "$2" -e "" 2> /dev/null 1> /dev/null)
 }