update run.py for kotlin

This commit is contained in:
yenru0 committed 2025-03-18 22:01:38 +09:00
1 parent f09d28243f
commit 6e88f4501d
1 file changed
+2 -2
+2 -2
View File
@@ -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(