--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on April 2015 ---
Hello, I?ve just installed Frama-C Sodium and Jessie 2.35 (OS X). I?m running into a problem with anything that includes stdlib.h. I?m wondering if others have this same problem or if I messed up the configuration somehow. Here goes: basie:1d siegel$ cat test.c #include <stdlib.h> basie:1d siegel$ frama-c -jessie test.c [kernel] Parsing FRAMAC_SHARE/libc/__fc_builtin_for_normalization.i (no preprocessing) [kernel] Parsing test.c (with preprocessing) [jessie] Starting Jessie translation FRAMAC_SHARE/libc/stdlib.h:275:[jessie] failure: cannot handle this lvalue: @1432.quot [jessie] user error: Unsupported feature(s). Jessie plugin can not be used on your code. basie:1d basie:1d siegel$ jessie --version This is Jessie version 2.35, compiled on Sat Apr 25 15:01:42 EDT 2015Copyright (c) 2006-2014 - CNRS/INRIA/Univ Paris-SudThis is free software with ABSOLUTELY NO WARRANTY (use option -warranty Version: Sodium-20150201 Compilation date: Sat Apr 25 13:49:04 EDT 2015 Share path: /Users/siegel/.opam/system/share/frama-c (may be overridden with FRAMAC_SHARE variable) Library path: /Users/siegel/.opam/system/lib/frama-c (may be overridden with FRAMAC_LIB variable) Plug-in paths: /Users/siegel/.opam/system/lib/frama-c/plugins (may be overridden with FRAMAC_PLUGIN variable) basie:1d siegel$ more /Users/siegel/.opam/system/share/frama-c/libc/stdlib.h /**************************************************************************/ /* */ /* This file is part of Frama-C. */ /* */ /* Copyright (C) 2007-2015 */ . . . /*@ assigns \result \from numer,denom ; */ <?? LINE 275 div_t div(int numer, int denom); . . . -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150426/d1120408/attachment.html>