Skip to main content

valid_num_violation_value

rapx::verify::loop_sensitivity

Function valid_num_violation_value 

Source 
fn valid_num_violation_value(property: &Property<'_>) -> Option<i128>
Expand description

Extract the lowest value that violates a simple upper-bound ValidNum.