printCounter("instructions", cc.getInstructionCounter()); printCounter("branches", cc.getBranchCounter()); printCounter("lines", cc.getLineCounter());
printCounter("instructions", cc.getInstructionCounter()); printCounter("branches", cc.getBranchCounter()); printCounter("lines", cc.getLineCounter());