Skip to content
TLA

Inductive invariant validation. #52

Sign in to view logs

Inductive invariant validation.

Inductive invariant validation. #52

Triggered via pull request August 19, 2024 09:02
@lemmylemmy
synchronize #6
lemmy:mku-gh05
Status Cancelled
Total duration 8m 18s
Artifacts –

tla.yml

on: pull_request
apalache
5m 56s
apalache
tlc
8m 11s
tlc
Fit to window
Zoom out
Zoom in

Annotations

3 errors
apalache
Process completed with exit code 12.
tlc
The run was canceled by @lemmy.
tlc
The operation was canceled.