stig-engine/com.stigway.engine.metrics.nexy/NexyEvidenceAvailability

NexyEvidenceAvailability

data class NexyEvidenceAvailability(val analyzerEvidenceAvailable: Boolean = false, val z3EvidenceAvailable: Boolean = false)

Constructors

Link copied to clipboard
constructor(analyzerEvidenceAvailable: Boolean = false, z3EvidenceAvailable: Boolean = false)

Properties

Link copied to clipboard
Link copied to clipboard
Generated with STIG