On Wed, 22 Jul 2015, SF Markus Elfring wrote:

> > Does the following SmPL script draft show another interesting application
> > of the semantic patch language?
>
> Dear Julia,
>
> I have adjusted this approach a bit for the programming interface "udev".
> https://github.com/systemd/systemd/blob/bbf35206735f97cf3fcda8d26982b35b0cad20a9/src/udev/udev.h#L68
>
> It seems that the Coccinelle software needs remarkable execution times
> for the analysis of specific source files from this library.
> I am unsure again which timeout value will be appropriate here.
>
> Do I become too impatient with my computer?

You can use arguments like --show-trying and --debug to see where it is
getting stuck, if that is the case.

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

Reply via email to