Inductive invariant validation. #73
lemmytla.yml
on: pull_request
apalache-check
19s
apalache-simulate
48s
apalache-simulate-geninit
40m 46s
tlc-generate
7s
tlc-simulate
10m 6s
Annotations
2 errors
|
tlc-generate
Process completed with exit code 12.
|
|
apalache-simulate-geninit
Process completed with exit code 12.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
apalache-check
|
3.85 KB |
|
|
apalache-simulate
|
84.1 KB |
|
|
apalache-simulate-geninit
|
29.1 KB |
|