@Test
public void init_04() throws Exception {
final ClassDataRecorder rec = runScenario(Target_init_04.class);
final BlockData block0 = rec.getMethod("<init>").getBlock(0);
block0.assertLines(25, 27, 28);
block0.assertCovered();
}
@Test
public void init_05() throws Exception {