toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
docker-runner
/
dev.ust.zinc.grader.pipeline.docker
/
Valgrind
/
diffFlags
diff
Flags
private
val
diffFlags
:
List
<
Settings.DiffIgnoreFlag
>
?
Parameters
diff
Flags
Diff flags to use if
stdout
is also checked for correctness.