On Wed, 1 Jun 2016, Iago Abal wrote:
> That would help, where do you check virtual rules? To my recollection, they are just checked on the interpretation of relevant depends ons. But they could easily be checked for at the time of generating the message. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
