toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
runner-api
/
dev.ust.zinc.grader.model.reporting
/
ErrorUnit
/
ConfigErrorUnit
/
FieldsUndeclaredError
/
optionUsed
option
Used
val
optionUsed
:
String
?
=
null