Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Nitrogen/Jessie crashes

  • Subject: [Frama-c-discuss] Nitrogen/Jessie crashes
  • From: agoodloe at gmail.com (Alwyn Goodloe)
  • Date: Wed, 15 Feb 2012 16:26:57 -0500
Having postponed moving to Nitrogen I'm finally caving in. I've gone
through a lot struggle to get Why3 built on OS X
10.6.8 and have been able to work through many of the examples. I've also
gotten the value analysis tool to run, but jessie
keeps crashing on everything   (for example see below). I'm sure it's some
silly issue that I just keep missing.
Anyone who encountered the Jessie translation errors seen below please let
me know.


----------------------------------------------------------

rc220016257:examples agoodloe$ frama-c -jessie  find.c
[kernel] preprocessing with "gcc -C -E -I.  -dD find.c"
[jessie] Starting Jessie translation
[kernel] The full backtrace is:
         Called from file "src/project/state_builder.ml", line 439,
characters 10-31
         Called from file "src/project/project.ml", line 119, characters
28-67
         Called from file "hashtbl.ml", line 157, characters 23-35
         Called from file "hashtbl.ml", line 161, characters 12-33
         Called from file "src/project/project.ml", line 116, characters
6-364
         Called from file "list.ml", line 69, characters 12-15
         Called from file "src/lib/qstack.ml", line 107, characters 4-23
         Called from file "src/kernel/file.ml", line 1376, characters 2-33
         Called from file "register.ml", line 96, characters 4-93
         Called from file "register.ml", line 290, characters 6-12
         Called from file "queue.ml", line 134, characters 6-20
         Called from file "src/kernel/boot.ml", line 36, characters 4-20
         Called from file "src/kernel/cmdline.ml", line 723, characters 2-9
         Called from file "src/kernel/cmdline.ml", line 200, characters 4-8

         Unexpected error (File "src/type/datatype.ml", line 98, characters
18-24: Assertion failed).
         Please report as 'crash' at http://bts.frama-c.com/.
         Your Frama-C version is Nitrogen-20111001.
         Note that a version and a backtrace alone often does not have
information
         to understand the bug. Guidelines for reporting bugs are at:

http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:bug_reporting_guidelines


-- 
Alwyn E. Goodloe, Ph.D.
agoodloe at gmail.com

Research Computer Engineer
NASA Langley Research Center
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120215/c014ab86/attachment.htm>