equal
deleted
inserted
replaced
18 marks=$(( 0 )) |
18 marks=$(( 0 )) |
19 |
19 |
20 # compilation tests |
20 # compilation tests |
21 |
21 |
22 function scala_compile { |
22 function scala_compile { |
23 (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala -nc "$1" 2> /dev/null 1> /dev/null) |
23 (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala "$1" 2>> $out 1>> $out) |
24 } |
24 } |
25 |
25 |
26 # functional tests |
26 # functional tests |
27 |
27 |
28 function scala_assert { |
28 function scala_assert { |
29 (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala -nc -i "$1" "$2" -e "" 2> /dev/null 1> /dev/null) |
29 (ulimit -t 40; JAVA_OPTS="-Xmx1g" scala -i "$1" -- "$2" 2> /dev/null 1> /dev/null) |
30 } |
30 } |
31 |
31 |
32 function scala_assert_long { |
32 function scala_assert_long { |
33 (ulimit -t 60; JAVA_OPTS="-Xmx1g" scala -nc -i "$1" "$2" -e "" 2> /dev/null 1> /dev/null) |
33 (ulimit -t 60; JAVA_OPTS="-Xmx1g" scala -i "$1" -- "$2" 2> /dev/null 1> /dev/null) |
34 } |
34 } |
35 |
35 |
36 #function scala_assert_elong { |
36 #function scala_assert_elong { |
37 # (ulimit -t 90; JAVA_OPTS="-Xmx1g" scala -nc -i "$1" "$2" -e "" 2> /dev/null 1> /dev/null) |
37 # (ulimit -t 90; JAVA_OPTS="-Xmx1g" scala -i "$1" -- "$2" 2> /dev/null 1> /dev/null) |
38 #} |
38 #} |
39 |
39 |
40 # purity test |
40 # purity test |
41 |
41 |
42 function scala_vars { |
42 function scala_vars { |
251 if [ $tsts1 -eq 0 ] |
251 if [ $tsts1 -eq 0 ] |
252 then |
252 then |
253 echo -e " tour_on_mega_board(70, List((0,0))) found and correct?" | tee -a $out |
253 echo -e " tour_on_mega_board(70, List((0,0))) found and correct?" | tee -a $out |
254 START=$(date +%s) |
254 START=$(date +%s) |
255 |
255 |
256 if (scala_assert "knight3.scala" "knight3_test9.scala") |
256 if (scala_assert_long "knight3.scala" "knight3_test9.scala") |
257 then |
257 then |
258 END=$(date +%s) |
258 END=$(date +%s) |
259 DIFF=$(( $END - $START )) |
259 DIFF=$(( $END - $START )) |
260 echo " It took $DIFF seconds" | tee -a $out |
260 echo " It took $DIFF seconds" | tee -a $out |
261 echo -e " --> success" | tee -a $out |
261 echo -e " --> success" | tee -a $out |
262 marks=$(( marks + 1 )) |
262 marks=$(( marks + 1 )) |
263 else |
263 else |
264 END=$(date +%s) |
264 END=$(date +%s) |
265 DIFF=$(( $END - $START )) |
265 DIFF=$(( $END - $START )) |
266 echo " It took $DIFF seconds" | tee -a $out |
266 echo " It took $DIFF seconds" | tee -a $out |
267 echo -e " --> test failed" | tee -a $out |
267 echo -e " --> TEST FAILED\n" | tee -a $out |
268 fi |
268 fi |
269 fi |
269 fi |
270 |
270 |
271 |
271 |
272 ## final marks |
272 ## final marks |