> A little collection of scripts/tools I've written[1], Thanks for your link on another bit of background information. https://github.com/jajajasalu2/cocci-type-test-suite
Would you like to point any related information sources out? > and the invaluable OCaml debugger :) This development tool can help occasionally. I am curious if your contributions will influence also other known open issues for this software in positive ways. Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
