Skip to content
Continuous Verification

Assert (postcondition) that all "debug invariants" equal true in at least one state. #40

Sign in to view logs

Assert (postcondition) that all "debug invariants" equal true in at least one state.

Assert (postcondition) that all "debug invariants" equal true in at least one state. #40

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Counterexamples - Consistency
51s
Model Checking - Consistency
2m 52s
Model Checking - Consensus
3h 46m 6s
Simulation - Consensus
20m 43s
Simulation - Consistency
2m 31s
Trace Validation - Consensus
2m 57s
4h 16m 0s