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] New Why release 2.30


Thanks for reporting the problem.

It would be very kind of you if could submit a bug report *and* provide 
the cc.mlw file (and even the cc.c file if possible)

Otherwise I don't see what could I do to understand the problem (and 
hopefully solve it afterwards).

- Claude

Le 27/10/2011 10:14, Boris Hollas a ?crit :
> Hello,
> I installed both why-2.30 and why3 along with Frama-C version 
> "Nitrogen", as suggested. A source file that worked with the previous 
> version of Frama-c/Jessie now produces
> Error while reading file '../cc.mlw':
> File "cc/../cc.mlw", line 4342, characters 10-13:
> syntax error
> make: *** [why3ml] Error 1
> [jessie] user error: Jessie subprocess failed: make -f cc.makefile why3ml
> I use the command line frama-c -jessie -pp-annot.
> -- 
> Best regards,
> Boris Hollas
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at

-------------- section suivante --------------
Une pi?ce jointe HTML a ?t? nettoy?e...
URL: <>