failAt

@get:Input
@get:Optional
abstract val failAt: Property<ProblemSeverity>

When present, reported symbol and postcondition problems fail at this severity threshold.