toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
docker-runner
/
dev.ust.zinc.grader.pipeline.docker
/
ClangTidy
/
Config
/
Config
Config
constructor
(
input
:
List
<
String
>
,
compileFlagsPre
:
List
<
String
>
?
,
compileFlagsPost
:
List
<
String
>
?
,
toolFlags
:
List
<
String
>
?
,
additional_packages
:
List
<
String
>
?
,
scorePolicy
:
ConfigUnit.PerElemScorable.Policy
?
)