pointer_range_negated_goal

rapx::verify::smt_check::common

Function pointer_range_negated_goal 

Source 
fn pointer_range_negated_goal(
    index: SmtTerm,
    lower_delta: SmtTerm,
    upper_delta: SmtTerm,
    len: SmtTerm,
) -> SmtPredicate