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


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:

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