toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
docker-runner
/
dev.ust.zinc.grader.util.debug.docker
/
DockerDebug
/
Pipelines
/
getValgrindWithChecksFilter
get
Valgrind
With
Checks
Filter
fun
getValgrindWithChecksFilter
(
distro
:
LangDockerfile.CFamily
=
DefaultDistro.C_FAMILY
)
:
Pipeline
A pipeline which runs Valgrind on an executable, keeping on "Leak_*" family of checks.