runner-api/dev.ust.zinc.grader.pipeline/PipelineVerifier/Configuration/add

add

fun add(vararg enableDiagnostic: KClass<out DiagnosticPass>): PipelineVerifier.Configuration

Adds diagnostic(s) to be checked by the verifier.

This option does not affect warning diagnostics if enableWarnings is disabled.