infgraph.setDerivationLogging(true); infgraph.prepare(); assertTrue("Forward rule count", infgraph.getNRulesFired() == 3); TestUtil.assertIteratorValues(this, infgraph.find(null, p, null), new Object[] {
infgraph.setDerivationLogging(true); infgraph.prepare(); assertTrue("Forward rule count", infgraph.getNRulesFired() == 3); TestUtil.assertIteratorValues(this, infgraph.find(null, p, null), new Object[] {