[Cocci] Coccinelle: badzero.cocci failure
yamada.masahiro at socionext.com
Wed Nov 15 16:49:55 CET 2017
2017-11-15 23:56 GMT+09:00 Thierry Martinez <thierry.martinez at inria.fr>:
> Hi, Masahiro.
>> Fatal error: exception
> If you can rerun your test with coccinelle GitHub master, the
> LinkFailure exception will now be more verbose, in order to understand
> the problem.
> I suspect a mismatch between the version of OCaml you use to compile
> coccinelle, and the version of OCaml that coccinelle uses to compile
> OCaml scripts in rules.
Now I am out of the office
and working from home.
badzero.cocci works fine on my PC at home.
I suspect the difference of installed packages.
I will try the latest commit in the GitHub
tomorrow at the office.
More information about the Cocci