Parse error when using a wide string literal to initialize uint16 array
ID0000593: This issue was created automatically from Mantis Issue 593. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000593 | Frama-C | Kernel | public | 2010-09-30 | 2010-10-01 |
| Reporter | Maria | Assigned To | virgile | Resolution | open |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | - | Target Version | - | Fixed in Version | - |
Description :
I'm trying to analyze Brew with Frama-C. OS - windows XP.
I've created simple Brew project(see attach), preprocessed it with Visual Studio and after it try to analyze with Frama-C: C:\Frama-C\bin>frama-c.exe "\Program Files\BREW 3.1.5\sdk\examples\helloworld"*.i
Also, I've tried to add files to project, using user interface, but nothing happened.