complete 1003.kt and configure run.py for zkt

This commit is contained in:
2024-05-23 16:51:05 +09:00
parent ff971c3052
commit 1a87b1ee6b
2 changed files with 35 additions and 1 deletions

2
run.py
View File

@@ -44,7 +44,7 @@ class ProblemRunEnum:
zeta_kotlin: ProblemRunType = ProblemRunType(
name="zeta_kotlin",
dir="./zeta_kotlin",
runner="java -jar a.jar -Dfile.encoding=UTF-8 < {input}",
runner="java -jar a.jar -Dfile.encoding=UTF-8",
prefix="kt",
prerunner="kotlinc-jvm {source} -include-runtime -d a.jar",
)