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

[Frama-c-discuss] miraculously creation of .whyrc



Hello,
 
yesterday I have asked you why .whyrc was not created.

Today the creation and thereby the analysis was done without problems.

Do you have any idea what might have caused the lately corporation of
frama-c.

Perhaps a restart? If so, it should be recommended.

For any reason frama-c was now able to write something into
C:\cygwin\home\<myusername>.

I am using Windows7 (not RC) perhaps it has something to do whis access
rights.


I thought it might be of interest.

Sincerely

Christoph 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/ms-tnef
Size: 3048 bytes
Desc: not available
Url : http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090911/cc9a2a70/attachment-0001.bin