On Mon, 10 Dec 2018, Oliver Schwahn wrote:
> > > Do you have any suggestion for a workaround?
> >
> > Can you upgrade to 4.06? I also have this problem with 4.05.
>
> Thanks for the suggestion. OCaml 4.05 was indeed the problem. I upgraded to
> 4.07 and that worked fine.
> I also had the chance to check on configurations with OCaml 4.01.0 and 4.02.3,
> which also work as expected.
>
> Just out of curiosity, when I run the included tests with:
> ./spatch.opt --testall
> I get a score of: good = 529/552.
> Is that the expected outcome or is something not working correctly?
Yes, it is the expected outcome. The tests should only depend on OCaml
features so should be portable, and really only exist for the developers.
The tests that fail are things that should work but don't.
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
