--- layout: fc_discuss_archives title: Message 53 from Frama-C-discuss on September 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] problem with VS project



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
>