Example 1 with IntOperator
use of kodkod.ast.operator.IntOperator in project org.alloytools.alloy by AlloyTools.
the class OverflowSigTest method testOverBw.
@Test
public void testOverBw() {
IntOperator[] ops = new IntOperator[] { IntOperator.PLUS, IntOperator.MULTIPLY };
for (IntOperator op : ops) {
for (int i = 1; i < 6; i++) {
Solution solution = checkForBw(op, i);
assertNoInstance(solution);
}
}
}
Also used :
Solution(kodkod.engine.Solution)
IntOperator(kodkod.ast.operator.IntOperator)
Test(org.junit.Test)
Aggregations
IntOperator (kodkod.ast.operator.IntOperator)1
Solution (kodkod.engine.Solution)1
Test (org.junit.Test)1
