Skip to content
TLA+ Spec Verification

Add aggregate trace expressions to aid debugging of counterexamples. #1019

Sign in to view logs

Add aggregate trace expressions to aid debugging of counterexamples.

Add aggregate trace expressions to aid debugging of counterexamples. #1019

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Counterexamples - Consistency
38s
Simulation - Consistency
6m 26s
Model Checking - Consistency
3m 28s
10m 32s