performTest(pf.getCFG("InfixExpressions", "rhsu02"));
}
@Test
public void testPrefixPostfixUpdates() throws CoreException {
ProjectFile pf = project.openFile("domain.intervals.expressions", "PrefixPostfixUpdates.java");
performTest(pf.getCFG("PrefixPostfixUpdates", "arithmeticOperations01"));
performTest(pf.getCFG("PrefixPostfixUpdates", "arithmeticOperations02"));
performTest(pf.getCFG("PrefixPostfixUpdates", "arithmeticOperations03"));
performTest(pf.getCFG("PrefixPostfixUpdates", "arithmeticOperations04"));
performTest(pf.getCFG("PrefixPostfixUpdates", "arithmeticOperations05"));
performTest(pf.getCFG("PrefixPostfixUpdates", "arithmeticOperations06"));
performTest(pf.getCFG("PrefixPostfixUpdates", "arithmeticOperations07"));
performTest(pf.getCFG("PrefixPostfixUpdates", "arithmeticOperations08"));
performTest(pf.getCFG("PrefixPostfixUpdates", "arithmeticOperations09"));
performTest(pf.getCFG("PrefixPostfixUpdates", "arithmeticOperations10"));
}