Inductive invariant validation. #70
lemmytla.yml
on: pull_request
apalache-check
4m 59s
apalache-simulate
38m 42s
tlc-generate
9s
tlc-simulate
10m 8s
Annotations
1 error
|
tlc-generate
Process completed with exit code 12.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
apalache-check
Expired
|
7.46 KB |
|
|
apalache-simulate
Expired
|
66.3 KB |
|