Skip to content
TLA

Inductive invariant validation. #58

Sign in to view logs

Inductive invariant validation.

Inductive invariant validation. #58

Triggered via pull request August 19, 2024 14:22
@lemmylemmy
synchronize #6
lemmy:mku-gh05
Status Failure
Total duration 2m 53s
Artifacts 1

tla.yml

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

Annotations

2 errors
tlc
Process completed with exit code 1.
apalache
Process completed with exit code 12.

Artifacts

Produced during runtime
Name Size
artifact Expired
31.9 KB