Skip to main content

Module validation

Module validation 

Source
Expand description

safety.checks — how each goal is verified.

Structs§

Validation

Enums§

CompareOp
Detector
How a validation is actually decided. Ordered by the independence ladder from the cheat sheet: Judge is rung 3, everything else is rung 4.
Mode