On 10/13/18 7:44 AM, SF Markus Elfring wrote:
I have also taken another look at your evolving SmPL script “nv_printf.cocci”. I suggest to merge the first five SmPL rules into one rule by using a SmPL disjunction. Will you get nicer run time characteristics then?
I care more about simplicity and code maintenance than I do about runtime. It already runs in a few seconds, how much faster do I need it to be?
I'd rather have help in fixing bugs than making it more efficient.
How do you think about to continue development discussions around topics like “nested SmPL disjunctions” (and “Usage of regular expressions in SmPL constraints”)?
That's way over my head. _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
