> Initialize is often used to create variables that are intended to be used
> in multiple script occurrences and finalize may accumulate their results.

I like this functionality.

 
> So the safe thing is to simply disallow initialize and finalize.

I guess that another safe design option is to achieve process parallelism
by passing command-line parameters like "index" and "max" as before the
current software release.

Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to