> The problem has nothing to do with disjunctions. Can missing source code matches trigger the consequence that questionable branches would be applied there?
Will the clarification for the issue “failing tests - TODO” be continued? Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci