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] RE : Sum and Assert Failure in jessie

Subject: [Frama-c-discuss] RE : Sum and Assert Failure in jessie
From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
Date: Wed, 8 Apr 2009 22:22:38 +0200
References: <20090408160715.7363d7d7@is005115><A6FD74D4A6DA4247AD801E3943634063034F16D8@sctex002.st-cloud.dassault-avion.fr><20090408181558.3ef6c548@is005115> <F1229212CB084F4CBEA197909C8699F1021BD9CE@TLSMAIL1.tls.fr.astrium.corp>


> Secondly, when I add the second invariant (the \sum one), Jessie fails
> with the following error:

> Fatal error: exception Assert_failure("src/jessie/interp.ml", 564, 19)

> Is the syntax incorrect?

Please read 
http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-March/000453.html
http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-March/000457.html

Pascal

References:
- [Frama-c-discuss] Frama-C : Value Analysis : SWITCH vs IF
  - From: virgile.prevosto at cea.fr (Virgile Prevosto)
- [Frama-c-discuss] Frama-C : Value Analysis : SWITCH vs IF
  - From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
- [Frama-c-discuss] Frama-C : Value Analysis : SWITCH vs IF
  - From: virgile.prevosto at cea.fr (Virgile Prevosto)
- [Frama-c-discuss] Sum and Assert Failure in jessie
  - From: Thomas.PAREAUD at astrium.eads.net (PAREAUD, Thomas)

Prev by Date: [Frama-c-discuss] RE : Frama-C : Value Analysis : SWITCH vs IF
Next by Date: [Frama-c-discuss] Frama-C : Value Analysis : SWITCH vs IF
Previous by thread: [Frama-c-discuss] Sum and Assert Failure in jessie
Next by thread: [Frama-c-discuss] Frama-C : Value Analysis : SWITCH vs IF
Index(es):
- Date
- Thread