unavailableReason

fun unavailableReason(descriptor: MetricDescriptor, scope: MetricScope, analyzerEvidenceAvailable: Boolean, z3EvidenceAvailable: Boolean): String?
Generated with STIG