abazaba855

Thanks. Come to think of it, what about the following scenario : What if you have a previous full build of your project, and then add some code and want...

Thank you. These 'differential coverage' tools sound interesting. But I cannot seem to locate them in this repository, perhaps I am simply looking in the wrong places ?

> Why is this bug not fixed after > 4 years? Patches are welcome.

I've had this happen to me before as well. However, for me it was not consistent behavior (sometimes on some upgrades it happened, other times it didn't), and I don't...