TLA

Initial predicate suitable for validating inductive invariants probabilistically #35

Sign in to view logs

Summary
Jobs
- apalache
- tlc
Run details
- Usage
- Workflow file

Triggered via pull request July 31, 2024 15:04

heidihoward

synchronize #1

lemmy:mku-rand

Status Failure

Total duration 1m 9s

Artifacts –

tla.yml

on: pull_request

Annotations

1 error

Process completed with exit code 120.