tester.addCoverageMetric(metric);
tester.generate(100);
int coverage = metric.getCoverage();
List<Integer> hist = metric.getHistory();
Assert.assertNotNull(hist);
output_.write("transhist="+metric.toCSV()+"\n");
Assert.assertEquals(12, coverage);
Assert.assertEquals(-1, metric.getMaximum());
// TODO: Assert.assertEquals("Incorrect history size.", 101, hist.size());
Assert.assertEquals(new Integer(0), hist.get(0));
Assert.assertEquals(new Integer(coverage), hist.get(hist.size() - 1));