Inductive invariant validation. #74
lemmytla.yml
on: pull_request
apalache-check
5m 9s
apalache-simulate
16m 56s
apalache-simulate-geninit
42m 31s
tlc-generate
10m 15s
tlc-simulate
10s
Annotations
2 errors
|
tlc-simulate
Process completed with exit code 12.
|
|
apalache-simulate-geninit
Process completed with exit code 12.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
apalache-check
|
7.49 KB |
|
|
apalache-simulate
|
66.6 KB |
|
|
apalache-simulate-geninit
|
28.9 KB |
|