Skip to content

[Civl] Simplify and generalize invariants for ticket protocol #1433

[Civl] Simplify and generalize invariants for ticket protocol

[Civl] Simplify and generalize invariants for ticket protocol #1433

Annotations

3 warnings

The logs for this run have expired and are no longer available.