I would like to show again that the version 1.0.0-rc22 works better than 1.0.0-rc20 for another use case.
> There is an isomorphism for unlikely, but it does not work well. Interesting ... > You can disable it (look in standard.iso to find the name and then put disable > name between the initial @@). Does your feedback refer also to the message "(ONCE) already tagged but only removed, so safe" eventually? I am curious how the shown profiling results will change over time because of software improvements. Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
