Expand description
Checking always-happens-before relationships
Structs§
- Statistics about the result of running
crate::RootContext::always_happens_before
that are useful to understand how the property failed. - Tracer 🔒
Enums§
- Trace 🔒
- Retention level of additional information about the execution of an
always_happens_before
.