Function checkInvariants

checkInvariants(state: SystemState): InvariantCheckResult[]
Check all formal properties against a system state. Returns proof certificates for every property.
Parameters
- state: SystemState
Returns InvariantCheckResult[]
- Defined in src/enforce/formalVerification.ts:470