--- layout: fc_discuss_archives title: Message 52 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!

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