Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001417Frama-CPlug-in > jessiepublic2013-05-08 08:392013-05-08 08:39
Reporteraogrcs 
Assigned Tocmarche 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
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:

/cygdrive/c/frama-c/bin
$ 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

max.c
int max(int i, int j)
{
    return (i < j) ? j : i;
}

Thanks
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
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


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker