public interface InstructionCounter
int
currentInstructionCount()
void
increment()
void increment()
int currentInstructionCount()
Copyright © 2021 org.pitest. All rights reserved.