Frama-C-discuss mailing list archives
This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] problem with VS project
- Subject: [Frama-c-discuss] problem with VS project
- From: pascal.cuoq at gmail.com (Pascal Cuoq)
- Date: Wed, 29 Sep 2010 16:15:57 +0200
- In-reply-to: <E1P0xEE-0005VM-00.mrogova-inbox-ru@f46.mail.ru>
- References: <E1P0xEE-0005VM-00.mrogova-inbox-ru@f46.mail.ru>
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 >
- References:
- [Frama-c-discuss] problem with VS project
- From: mrogova at inbox.ru (Ary)
- [Frama-c-discuss] problem with VS project
- Prev by Date: [Frama-c-discuss] problem with VS project
- Next by Date: [Frama-c-discuss] boucles imbriquées
- Previous by thread: [Frama-c-discuss] problem with VS project
- Next by thread: [Frama-c-discuss] frama-c outputs errors in jessie tutorial
- Index(es):