CoverageMetrics { public float f(int i) { int k = 0; if (i != 0) { k = 1; } return (float)i/(k+1); }  float f(int i);  }
@Test public void test1() throws Exception { CoverageMetrics c = new CoverageMetrics(); assertEquals(0.5, c.f(1), 0.0); }
@Test public void test2() throws Exception { CoverageMetrics c = new CoverageMetrics(); assertEquals(0.0, c.f(0), 0.0); }
@Test public void test3() { CoverageMetrics c = new CoverageMetrics(); float x = c.f(5); }