mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-25 18:26:06 +00:00

Since #112694, MCDCRecord::isCondFolded() has returned true for "partially folded" conditions. Besides, isConditionIndependencePairCovered() returns true if the unfolded condition is satisfied. This might break consistency (CoveredPairs <= NumPairs).