equal
deleted
inserted
replaced
1 #!/bin/bash |
1 #!/bin/bash |
|
2 |
|
3 # to make the script fail safely |
2 set -euo pipefail |
4 set -euo pipefail |
3 |
5 |
4 out=${1:-output} |
6 out=${1:-output} |
5 |
7 |
6 echo "" > $out |
8 echo "" > $out |
23 |
25 |
24 |
26 |
25 # compilation tests |
27 # compilation tests |
26 |
28 |
27 function scala_compile { |
29 function scala_compile { |
28 (ulimit -t 60; JAVA_OPTS="-Xmx1g" scala "$1" 2> /dev/null 1> /dev/null) |
30 (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala "$1" 2> /dev/null 1> /dev/null) |
29 } |
31 } |
30 |
32 |
31 # functional tests |
33 # functional tests |
32 |
34 |
33 function scala_assert { |
35 function scala_assert { |
34 (ulimit -t 60; JAVA_OPTS="-Xmx4g" scala -i "$1" -- "$2" -e "" 2> /dev/null 1> /dev/null) |
36 (ulimit -t 30; JAVA_OPTS="-Xmx4g" scala -i "$1" -- "$2" -e "" 2> /dev/null 1> /dev/null) |
35 } |
37 } |
36 |
38 |
37 |
39 |
38 # purity test |
40 # purity test |
39 |
41 |