Inductive invariant validation. #68
lemmytla.yml
on: pull_request
apalache-check
4m 53s
apalache-simulate
10s
tlc-generate
10m 12s
tlc-simulate
10m 6s
Annotations
1 error and 1 warning
|
apalache-simulate
Process completed with exit code 1.
|
|
apalache-simulate
No files were found with the provided path: _apalache-out/. No artifacts will be uploaded.
|