Skip to main content

is_valid

logicaffeine_tv::equiv

Function is_valid 

Source 
pub fn is_valid(pred: &VerifyExpr) -> bool
Expand description

True iff prove_valid proves the predicate.