core_marking3/postfix_test.sh
changeset 494 253d1ccb65de
parent 463 0315d9983cd0
--- a/core_marking3/postfix_test.sh	Sun Sep 15 12:57:59 2024 +0100
+++ b/core_marking3/postfix_test.sh	Mon Jul 21 16:38:07 2025 +0100
@@ -20,17 +20,16 @@
 # marks for CW9 preliminary
 marks=$(( 0.0 ))
 
-
 # compilation tests
 
 function scala_compile {
-  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala -Xprint:parser "$1" 2> c$out 1> c$out)
+    (ulimit -t 30; scala-cli compile --server=false -color never -Xprint:parser "$1" 2> c$out 1> c$out)
 }
 
 # functional tests
 
 function scala_assert {
-  (ulimit -t 30; JAVA_OPTS="-Xmx1g" scala -i "$1" -- "$2" -e "" 2> /dev/null 1> /dev/null)
+  (ulimit -t 30; scala-cli --server=false -i "$1" "$2" -e "urbanmain()" 2> /dev/null 1> /dev/null)
 }
 
 # purity test