graalvm/tools.elide.app/DomainVerificationKt/Dsl/add

add

@JvmName(name = "addProblem")
fun DslList<String, DomainVerificationKt.Dsl.ProblemProxy>.add(value: String)
Problem messages to resolve verification.
Content copied to clipboard

repeated string problem = 3;

Parameters

value

The problem to add.