The tiarmclang code generator will sometimes flip the sense of a negated condition used by a branch to elide an instruction. When this happens, MC/DC incorrectly instruments the wrong sense of the condition yielding incorrect tracking data. This results in a post-processing failure where tiarmcov is not able to match an executed test vector to its list of known test vectors.