Skip to content
Back to pull request #5901

removing MatchIndexLowerBoundNextIndexInv from atomic reconfig #1055

Sign in to view logs

removing MatchIndexLowerBoundNextIndexInv from atomic reconfig

removing MatchIndexLowerBoundNextIndexInv from atomic reconfig #1055

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Simulation - Consistency
5m 23s
Model Checking - Consistency
3m 23s
Counterexamples - Consistency
34s
9m 20s