On Fri, Apr 29, 2016 at 11:20 AM, Luis R. Rodriguez <[email protected]> wrote: > > * Add support to Coccinelle built-in test infrastructure to allow for > tests to run against not only C files but also header files, so right > now we have have: > > test.c > test.cocci > test.res > > This does not allow for header file changes to be tested. We should > have perhaps instead: > > test.c > test.cocci > test.c.res > > Then allow support also for: > > test.c > test.cocci > test.c.res > test.h.res
I actually think we have a generic tool already available to help with this, I had written SmPL patch equivalence proof support and integrated that into tools/pycocci.I just posted patches as a proof of concept. Luis _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
