Skip to main content

select_strategy

logicaffeine_verify::strategy

Function select_strategy 

Source 
pub fn select_strategy(
    property: &VerifyExpr,
    _signals: &[SignalDecl],
) -> Strategy
Expand description

Select the best strategy based on property structure.