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