Skip to content
TLA+ Spec Verification

Improve readability by removing unnecessary LET/IN. #997

Sign in to view logs

Improve readability by removing unnecessary LET/IN.

Improve readability by removing unnecessary LET/IN. #997

Triggered via push December 22, 2023 16:03
@lemmylemmy
pushed 56714a9
mku-minor
Status Success
Total duration 7m 38s
Artifacts –

tlaplus.yml

on: push
Model Checking - Consistency
3m 14s
Model Checking - Consistency
Counterexamples - Consistency
39s
Counterexamples - Consistency
Simulation - Consistency
7m 27s
Simulation - Consistency
Fit to window
Zoom out
Zoom in