main_marking5/bf_test.sh
changeset 494 253d1ccb65de
parent 463 0315d9983cd0
--- a/main_marking5/bf_test.sh	Sun Sep 15 12:57:59 2024 +0100
+++ b/main_marking5/bf_test.sh	Mon Jul 21 16:38:07 2025 +0100
@@ -25,19 +25,20 @@
 # compilation tests
 
 function scala_compile {
-  (JAVA_OPTS="-Xmx1g" scala -Xprint:parser "$1" 2> c$out 1> c$out)
+    (timeout 35s scala-cli compile --server=false -color never -Xprint:parser "$1" 2> c$out 1> c$out)
 }
 
 # functional tests
 
 function scala_assert {
-  (JAVA_OPTS="-Xmx1g" scala -nc -i "$1" -- "$2" -e "" 2> /dev/null 1> /dev/null)
+  (timeout 35s scala-cli --server=false -i "$1" "$2" -e "urbanmain()" 2> /dev/null 1> /dev/null)
 }
 
 function scala_assert_thirty {
-  (JAVA_OPTS="-Xmx1g" scala -nc -i "$1" -- "$2" -e "" 2> /dev/null 1> /dev/null)  
+  (timeout 35s scala-cli --server=false -i "$1" "$2" -e "urbanmain()" 2> /dev/null 1> /dev/null)
 }
 
+
 # purity test
 function scala_vars {
    (sed 's/immutable/ok/g' c$out > cb$out;