In reply to Ashishkumar072:
Even though you didn’t fully provide the constraint , I believe it should be like
constraint c {
addr > variable_min;
addr < variable_max;
}
So if that’s the case, both “variable_min” and “variable_max” are getting the same value which fails the constraint.
You should update the “field_name” ( currently its “variable”) for variable_min and variable_max . It shouldn’t be same for both variables.