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] Virus in Beryllium Windows installer?

Hoffen wir, dass du bald eine Antwort bekommst.
copy_array sieht bei mir jetzt so aus:

Jens


Am 10.09.2009 um 11:35 schrieb Christoph Weber:

> Hello,
>
>
> I would like to congratulate you for the release of your new version  
> of
> Frama-c. I also want to thank you for the ongoing  assistance and  
> help.
>
> I had some problems to identify the new version, the download page
> http://frama-c.cea.fr/download.html identifys the new binary as  
> version
> 20081201 when it should say 20090901.
>
> Coming to my real problem.
> When I was executing frama-c I got the message:
>
> $ frama-c -jessie copy_array.C
> [kernel] preprocessing with "gcc -C -E -I.  -dD copy_array.C"
> [jessie] Starting Jessie translation
> [jessie] Producing Jessie files in subdir copy_array.jessie
> [jessie] File copy_array.jessie/copy_array.jc written.
> [jessie] File copy_array.jessie/copy_array.cloc written.
> [jessie] Calling Jessie tool in subdir copy_array.jessie
> Generating Why function copy_array
> [jessie] Calling VCs generator.
> gwhy-bin [...] why/copy_array.why
> Computation of VCs...
> Computation of VCs done.
> Reading GWhy configuration...
> Config file 'C:\cygwin\home\Dreadnought\.gwhyrc' does not exists,  
> using
> default
> config
> Fatal error: exception Not_found
> make: *** [copy_array.stat] Error 2
> [jessie] user error: Jessie subprocess failed: make -f  
> copy_array.makefile
> gui
>
> So far I was unable to identify the problem.
>
>
> Finally, I think I might be of interest, that I have discovered  
> several .svn
> directorys in your frama-c installation (example :
> https://svn.frama-c.com/frama-c/tags/Beryllium-20090901/doc/manuals)
>
> Sincerely
>
> Christoph Weber
> <winmail.dat>_______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss


-- 

Dr.-Ing. Jens Gerlach
Eingebettete Systeme - EST
Tel.: +49 (0)30 6392 1841
Fax.: +49 (0)30 6392 1805
E-Mail: jens.gerlach at first.fraunhofer.de

Fraunhofer-Institut f?r Rechnerarchitektur und Softwaretechnik, FIRST
Kekul?stra?e 7
12489 Berlin
Germany
http://www.first.fraunhofer.de


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090910/46ca26a9/attachment-0002.htm 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: copy_array.pdf
Type: application/pdf
Size: 55422 bytes
Desc: not available
Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090910/46ca26a9/attachment-0001.pdf 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090910/46ca26a9/attachment-0003.htm