Modules§
Macros§
- emit_
event - expect_
always - expect_
always_ or_ unreachable - expect_
reachable - expect_
sometimes - expect_
unreachable - function_
name - maybe_
fault - emit a fault with a probability p to the dispatcher p should be in the range [0.0, 1.0] fault is a block that will be executed when the fault triggers
- setup_
complete
Constants§
- ENABLED
- If ENABLED is false, all precept macros and faults are disabled