toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
runner-api
/
dev.ust.zinc.grader.util
/
CmdUtils
/
Var
/
Result
/
fileName
file
Name
val
fileName
:
String
Returns the file name used to store the result.