[Cocci] [PATCH 3/4] gentree.py: add SmPL patch equivalence proof support

Johannes Berg johannes at sipsolutions.net
Mon Jun 8 21:45:51 CEST 2015


On Mon, 2015-06-08 at 12:31 -0700, Luis R. Rodriguez wrote:

> This is true, its in the like of how we wrote pycocci to provide us
> with a multithreaded solution for spatch integration / development as
> well and how pycocci now is upstream on Coccinelle.

Speaking of which - are you aware that pycocci fails (or rather doesn't
fail!) miserably when cocci isn't installed/in the $PATH? At least I got
a report to that extent, that it didn't really complete nor report an
error in that case.

johannes



More information about the Cocci mailing list