toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
docker-runner
/
dev.ust.zinc.grader.pipeline.docker
/
Valgrind
/
Companion
Companion
object
Companion
Members
Types
Xml
Not
Found
Exception
Link copied to clipboard
class
XmlNotFoundException
(
xmlPath
:
String
)
:
ReportGenerationException
Properties
DEFAULT_EXEC_ARGS
Link copied to clipboard
private
val
DEFAULT_EXEC_ARGS
:
List
<
String
>
DEFAULT_REPORTED_CHECKS
Link copied to clipboard
private
val
DEFAULT_REPORTED_CHECKS
:
List
<
String
>
DEFAULT_TOOL_ARGS
Link copied to clipboard
private
val
DEFAULT_TOOL_ARGS
:
List
<
String
>
VALGRIND_OUT_FILE
Link copied to clipboard
private
const
val
VALGRIND_OUT_FILE
:
String