> On that note, it might make sense to add multithreading or > multiprocessing.
Did you try out to pass the parameter "--jobs" to a current version of the command "spatch"? Would you like to experiment with parameters "--index" and "--max"? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
