Recall that the wave semantics of a binary code provides the set of all instructions that can be run.
it is important to measure the approximation obtained with respect to the wave semantics in order to determine the code coverage.