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]