Skip to content
TLA

Inductive invariant validation. #51

Sign in to view logs

Inductive invariant validation.

Inductive invariant validation. #51

Triggered via pull request August 19, 2024 08:57
@lemmylemmy
synchronize #6
lemmy:mku-gh05
Status Cancelled
Total duration 4m 44s
Artifacts –

tla.yml

on: pull_request
apalache
2m 58s
apalache
tlc
4m 35s
tlc
Fit to window
Zoom out
Zoom in

Annotations

2 errors
tlc
The run was canceled by @lemmy.
tlc
The operation was canceled.