Java SymbolicInteger._div Examples

Example #1

File: TestExpressionEvaluator.java Project: waitingcheung/concolic-walk

 @Test
 public void divideIntegers() {
   Number actual = evaluate(a._div(b), intPoint(23, 2));
   assertThat(actual.intValue(), equalTo(11)); // Integer arithmetic drops the 0.5
 }