--- layout: fc_discuss_archives title: Message 54 from Frama-C-discuss on June 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C limit ?



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