Skip to main content

evaluate_gate_for_drawer

Function evaluate_gate_for_drawer 

Source
pub fn evaluate_gate_for_drawer(
    db: &Database,
    drawer: &Drawer,
    target_status: &KnowledgeStatus,
    reviewer: Option<&str>,
    allow_counterexamples: bool,
) -> Result<GateReport>