>> * Simplify a message construction in a Python script rule >> for the semantic patch language. > > The benefit is what?
The avoidance to store the shown string in the extra Python variable “msg”. >> * Delete also a duplicate space character then. I find the proposed wording a bit nicer, don't you? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
