Inductive invariant validation. #67
lemmytla.yml
on: pull_request
apalache-check
3h 33m
apalache-check-inductive
3h 38m
apalache-simulate
1h 20m
tlc-generate
10m 10s
tlc-simulate
10m 9s
Annotations
3 errors and 1 warning
|
apalache-check
The run was canceled by @lemmy.
|
|
apalache-check
The operation was canceled.
|
|
apalache-check-inductive
The run was canceled by @lemmy.
|
|
apalache-check-inductive
Runner GitHub Actions 31 did not respond to a cancelation request with 00:05:00.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
apalache-check
|
8.7 KB |
|
|
apalache-simulate
|
316 KB |
|