Simulation starting at GenInit predicate with Apalache. · heidihoward/pbft-tlaplus@b051d12

Triggered via push September 6, 2024 15:35

lemmy

main

Status Failure

Total duration 34m 6s

Artifacts 3

tla.yml

on: push

1 error

Process completed with exit code 12.

Produced during runtime