toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
runner-api
/
dev.ust.zinc.grader.pipeline
/
PipelineVerifier
/
Configuration
/
clear
clear
fun
clear
(
)
:
PipelineVerifier.Configuration
Removes all diagnostics to be checked by the verifier.