> * Run time distribution for the involved scripts There is an updated but not currently public version of the paper with this information.
But in general, the run time depends on the complexity of the script, so numbers disassociated from what is being expressed are pretty meaningless. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
