--- layout: fc_discuss_archives title: Message 53 from Frama-C-discuss on September 2010 ---
Hello, if it is not too confidential, could you file a bug with the files myfile.c and also myfile.i in the Bug Tracking System? If you check the "private" checkbox, only Frama-C developers will be able to access it (around 10 people). Instructions for filing bugs: http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:bug_reporting_guidelines Pascal PS: thanks for telling us. We are aware that many attempts to use Frama-C end in failure at the parsing stage, but many people do not bother to report these problems to us and they never get fixed. We cannot guarantee that we will be able to fix it, but if it is not too difficult or incompatible with C extensions that we have to accept, there is no reason for us not to do the change. On Wed, Sep 29, 2010 at 4:01 PM, Ary <mrogova at inbox.ru> wrote: > Hello! > > I'm trying to analyze my project with Frama-C. OS - windows XP. > I have VS project on C(this is BREW-platform project). I've preprocessed it with VS and than try to do this in console: > C:\Frama-C\bin>frama-c.exe \mydir\*.i > .\\someutil\\myfile.c:426:[kernel] failure: Using a wide string literal to > initialize something other than a wchar_t array > [kernel] user error: skipping file ".\\someutil\\myfile.i" that has errors. > [kernel] Frama-C aborted because of an invalid user input. > Also, I've tried to add files to project, using user interface, but observe same errors. > > Best Regards, > Maria > > _______________________________________________ > 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 >