Skip to content
TLA+ Spec Verification

NextIndex is not updated on successful AE response #1027

Sign in to view logs

NextIndex is not updated on successful AE response

NextIndex is not updated on successful AE response #1027

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Counterexamples - Consistency
43s
Model Checking - Consistency
3m 26s
Simulation - Consistency
7m 33s
11m 42s