@Test public void test3() { CoverageMetrics c = new CoverageMetrics(); float x = c.f(5); }
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);  }