> I wanted to extend tests coverage for coccinelle but noticed
> that tests are limited to single c file, these are attached
> to respective .res files, but this also means that you have
> a direct relationship and requirement between tests from
> a single C file and a respective cocci file.

Do you imagine to measure test coverage with any advanced techniques?


> To go wild we want to be able to support really complex
> types of examples.

Is there any kind of target conflict between nice software
demonstrations and the desire for better test procedures?


> We can easily take advantage of this to extend Coccinelle test cases
> way beyond a single C file, but to more complex real life
> style projects.

How much would you like to improve the automatic checking
of generated patches?

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

Reply via email to