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] Frama-C limit ?

  • Subject: [Frama-c-discuss] Frama-C limit ?
  • From: Emilie.Timbou at continental-corporation.com (Emilie.Timbou at continental-corporation.com)
  • Date: Tue, 16 Jun 2009 16:06:39 +0200
  • In-reply-to: <mailman.81.1245146434.1360.frama-c-discuss@lists.gforge.inria.fr>
Suite ? mon dernier mail, j'ai eu certaines r?ponse concernant les 
probl?mes rencontr?s.

 Concernant le probl?me suivant, "> Fatal error: exception Assert_failure 
("src/jessie/rewrite.ml,219, 3) " 

 Virgile pr?vosto  m'a conseill? de m'int?resser ? un projet moins 
volumineux et de faire apparaitre le m?me probl?me pour pouvoir trouver 
une solution sur le forum

J'ai donc suivi son conseil mais j'obtiens le m?me genre d'erreur: ">Fatal 
error: exception Assert_failure ("src/jessie/interp.ml, 1532, 13) " 
J'aimerai savoir si quelqu'un pourrait m'aider concernant ce message 
d'erreur

Cordialement; 
TIMBOU Emilie
-------------- section suivante --------------
Une pi?ce jointe HTML a ?t? enlev?e...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090616/4856bcff/attachment.htm