From 6e88f4501d9f9ed31b52dd9676b374430466e128 Mon Sep 17 00:00:00 2001 From: yenru0 Date: Tue, 18 Mar 2025 22:01:38 +0900 Subject: [PATCH] update run.py for kotlin --- run.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/run.py b/run.py index 853a558..194f61a 100755 --- a/run.py +++ b/run.py @@ -45,9 +45,9 @@ class ProblemRunEnum: zeta_kotlin: ProblemRunType = ProblemRunType( name="zeta_kotlin", dir="./zeta_kotlin", - runner="java -jar a.jar -Dfile.encoding=UTF-8", + runner="java -Xms2G -Xmx4G -Xss1G -Dfile.encoding=UTF-8 -jar a.jar", prefix="kt", - prerunner="kotlinc-jvm {source} -include-runtime -d a.jar", + prerunner="kotlinc-jvm {source} -J-Xms2G -J-Xmx4G -J-Xss1G -include-runtime -d a.jar", ) # WIP zeta_lua: ProblemRunType = ProblemRunType(