https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115047

--- Comment #2 from Jørgen Kvalsvik <j at lambda dot is> ---
> f(1, 0, 0) = false, while f(1, 0, 1) = true

Sorry, I meant:

f(0, 0, 1) = true
f(0, 0, 0) = false
and
f(1, 0, 1) = true
f(1, 0, 0) = false

It does not take away from the conclusion when doing masking MC/DC.

Reply via email to