Expand description
Boundary conditions — predicates that gate phase transitions.
Structs§
- Boundary
- Boundary specification — preconditions gate Running, postconditions gate Running → Attested.
- Condition
- A single boundary predicate.
- Unknown
Condition Kind