@Test
public void testConditionals() {
RTLExpression c =
ExpressionFactory.createConditionalExpression(
ExpressionFactory.createGreaterThan(esp, ExpressionFactory.createNumber(10, 32)),
ExpressionFactory.createNumber(10, 32),
ExpressionFactory.createNumber(5, 32));
RTLExpression f = ExpressionFactory.createEqual(ExpressionFactory.createVariable("x", 32), c);
solver.addAssertion(f);
assertTrue(solver.isSatisfiable());
}
/** @throws java.lang.Exception */
@Before
public void setUp() throws Exception {
solver = new YicesSolver();
esp = ExpressionFactory.createVariable("esp", 32);
m1 =
ExpressionFactory.createMemoryLocation(
ExpressionFactory.createPlus(esp, ExpressionFactory.createNumber(4, 32)), 32);
m2 =
ExpressionFactory.createMemoryLocation(
ExpressionFactory.createPlus(esp, ExpressionFactory.createNumber(8, 32)), 32);
m3 =
ExpressionFactory.createMemoryLocation(
ExpressionFactory.createPlus(esp, ExpressionFactory.createNumber(4, 32)), 32);
}
