@@ in comments causes failure
ID0001055: This issue was created automatically from Mantis Issue 1055. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001055 | Frama-C | Kernel | public | 2011-12-20 | 2011-12-21 |
| Reporter | oliverks | Assigned To | - | Resolution | no change required |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Nitrogen-20111001 | Target Version | - | Fixed in Version | - |
Description :
The following code fails to run through frama
/*@@ Test code */ int main() { return 0; }
I get the following error from frama-c-gui
[kernel] preprocessing with "gcc -C -E -I. test.c" test.c:2:[kernel] user error: unexpected token '' [kernel] user error: skipping file "test.c" that has errors.
I am running Mac OS X 10.6.8 with Version: Nitrogen-20111001 Compilation date: Tue Nov 29 13:07:07 CET 2011