--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on September 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Patch for OCaml 4.00.0



Hi,

On Wed, Sep 12, 2012 at 11:29 PM, Jerry James <loganjerry at gmail.com> wrote:
> 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.

Unfortunately, something more is needed; sorry for having been a bit
unclear the first time. Without those additional changes, Frama-C will
compile fine, but the save/load feature will probably be broken. (In
fact, I'm not 100% sure that the GODI package is ok as is.) The patch
I was referring to is attached to this mail ; you changed Inthash in a
different way than us, but I think the patch is correct anyway. To see
if Frama-C works correctly, you can start "ptests.byte -show" in the
root compilation directory; you should not get any backtrace.

HTH,

-- 
Boris
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch-unmarshal
Type: application/octet-stream
Size: 1658 bytes
Desc: not available
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120912/75bf4471/attachment-0001.obj>