> Normally, tests only hurt readability if they cannot be false or cannot be > true. > Making a choice apparent when there really is a choice would seem > to aid understanding.
I agree also to such facts. > Program analysis tools can also potentially exploit this information, The published semantic patch scripts correspond to this desire. > which you are so systmatically removing. I try to delete redundant checks in various function implementations as much as possible. Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
