Passed

de.uni_freiburg.informatik.ultimate.smtinterpol.convert.IntDivideTest.testCreateDiv

Standard Error

(is_int (+ r s (to_real i)))
[!(true == false)]
[[-1588298687]r + s + i - (to_int (+ r s (to_real i))) < 1]
[[1188252476]r + s + i - (to_int (+ r s (to_real i))) >= 0]
[[-974939351]r + s + i - (to_int (+ r s (to_real i))) == 0]