/** @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); }