--- layout: fc_discuss_archives title: Message 35 from Frama-C-discuss on October 2009 ---
Hello, Le jeu. 15 oct. 2009 14:18:38 CEST, geng chen <chengeng4001 at gmail.com> a ?crit : > tang at tang-desktop:~/Desktop$ frama-c-gui -jessie ./first.c In fact, you don't need to call frama-c-gui: the jessie plug-ins uses Why's graphical interface, which is a different thing. > Generating Why function main > gwhy-bin [...] why/first.why > Computation of VCs... > Computation of VCs done. > Reading GWhy configuration... > Config file '/home/tang/.gwhyrc' does not exists, using default config > Fatal error: exception Not_found > make: *** [first.stat] Error 2 > Did you run why-config (the script that detects which provers are installed on your system) after the installation? gwhy is supposed to ask you to do so when it's not the case, but it might have failed to do so for some reason. Regards, -- E tutto per oggi, a la prossima volta. Virgile