--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on September 2012 ---
Hello Boris, On Wed, Sep 12, 2012 at 2:21 AM, Boris Yakobowski <boris at yakobowski.org> wrote: > Hello, > > Thanks for packaging Frama-C, and for this thorough bug-searching ! > > Based on our own (painful) migration to OCaml 4.00, I think another > bug awaits you. Frama-C hardcodes the Caml representation of some > datatstructures of the standard library, such a hash tables and sets. > Hash tables have gained two fields since OCaml 3.12.1, so this code no > longer works. If you choose to package a combo Nitrogen+OCaml 4.00, I > could probably provide you with some partial patches extracted from > our trunk to fix this. > > HTH, > > -- > Boris Yakobowski I'm not sure I understand. Do you mean something more is necessary than the addition of the reset and stats functions? I added those two in the patch attached to my first message. Regards, -- Jerry James http://www.jamezone.org/