Indeed. What they're doing is much better than what most software projects manage, but not quite enough to test correctness unless the code in later branches i

Indeed. What they're doing is much better than what most software projects manage, but not quite enough to test correctness unless the code in later branches is completely independent from the code in earlier branches.... For any nontrivial project, testing every codepath is basically impossible, unfortunately. :(