marking/mark03a
changeset 125 dcaab8068baa
parent 91 b43c81c65341
equal deleted inserted replaced
124:c45d3cd9a749 125:dcaab8068baa
    17 
    17 
    18 
    18 
    19 # compilation tests
    19 # compilation tests
    20 
    20 
    21 function scala_compile {
    21 function scala_compile {
    22   (scala "$1" 2> /dev/null 1> /dev/null) 
    22   (ulimit -t 1 ; scala "$1" 1> $out 2> $out) 
    23 }
    23 }
    24 
    24 
    25 
    25 
    26 # functional tests
    26 # functional tests
    27 
    27 
    28 function scala_assert {
    28 function scala_assert {
    29   (scala -i "$1" "$2" -e "" 2> /dev/null 1> /dev/null)
    29   (ulimit - t 1; scala -i "$1" "$2" -e "" 2> /dev/null 1> /dev/null)
    30 }
    30 }
    31 
    31 
    32 
    32 
    33 # marks for CW
    33 # marks for CW
    34 marks=$(( 0 ))
    34 marks=$(( 0 ))