Interface InvariantCheckResult

interface InvariantCheckResult {
    counterexample?: SystemState;
    holds: boolean;
    proof: ProofCertificate;
    property: FormalProperty;
}

Index

Properties

counterexample? holds proof property

Properties

`Optional`counterexample

counterexample?: SystemState

holds

holds: boolean

proof

proof: ProofCertificate

property

property: FormalProperty