Inductive invariant validation. #69
lemmytla.yml
on: pull_request
apalache-check
4m 5s
apalache-simulate
3m 31s
tlc-generate
10m 9s
tlc-simulate
10m 8s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
apalache-check
|
7.46 KB |
|
|
apalache-simulate
|
50.5 KB |
|