Inductive invariant validation. #72
lemmytla.yml
on: pull_request
apalache-check
17s
apalache-simulate
43s
apalache-simulate-geninit
13s
tlc-generate
9s
tlc-simulate
42s
Annotations
6 errors
|
tlc-generate
Process completed with exit code 12.
|
|
apalache-simulate-geninit
Process completed with exit code 255.
|
|
tlc-simulate
The run was canceled by @lemmy.
|
|
tlc-simulate
The operation was canceled.
|
|
apalache-simulate
The run was canceled by @lemmy.
|
|
apalache-simulate
The operation was canceled.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
apalache-check
|
3.8 KB |
|
|
apalache-simulate
|
65.5 KB |
|
|
apalache-simulate-geninit
|
1.12 KB |
|