2021-01-15 15:56 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0001417Frama-CPlug-in > jessiepublic2013-05-08 08:39
Assigned Tocmarche 
Product VersionFrama-C Boron-20100401 
Target VersionFixed in Version 
Summary0001417: Config file 'C:\cygwin\home\xiewenlong\.gwhyrc' does not exists,
DescriptionI installed frama-c-boron-20100401 using windows binary installer under WIN7, then run it using cygwin as below:

$ frama-c -cpp-command "gcc-4.exe -C -E -I." -jessie e:/max.c

the result was:

$ frama-c -cpp-command "gcc-4.exe -C -E -I." -jessie e:/max.c
[kernel] preprocessing with "gcc-4.exe -C -E -I. -dD e:/max.c"
[jessie] Starting Jessie translation
[jessie] Producing Jessie files in subdir e:/max.jessie
[jessie] File e:/max.jessie/max.jc written.
[jessie] File e:/max.jessie/max.cloc written.
[jessie] Calling Jessie tool in subdir e:/max.jessie
Generating Why function max
[jessie] Calling VCs generator.
gwhy-bin [...] why/max.why
Computation of VCs...
Computation of VCs done.
Reading GWhy configuration...
Loading .gwhyrc config file
Config file 'C:\cygwin\home\xiewenlong\.gwhyrc' does not exists, using default config
Why config file not found, please run why-config first.
max.makefile:126: recipe for target `max.stat' failed
make: *** [max.stat] Error 1
[jessie] user error: Jessie subprocess failed: make -f max.makefile gui

int max(int i, int j)
    return (i < j) ? j : i;

TagsNo tags attached.
Attached Files


There are no notes attached to this issue.

-Issue History
Date Modified Username Field Change
2013-05-08 08:39 aogrcs New Issue
2013-05-08 08:39 aogrcs Status new => assigned
2013-05-08 08:39 aogrcs Assigned To => cmarche
+Issue History