> It goes into the directory specified with the --tmp argument. Does the software process "Compilation of PQL into SmPL" generate any disjunctions (and conjunctions) into the corresponding SmPL source code?
Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci