ID0000616: This issue was created automatically from Mantis Issue 616. Further discussion may take place here.
|Product Version||Frama-C Boron-20100401||Target Version||-||Fixed in Version||Frama-C Nitrogen-20111001|
When comments from the code are parsed by Frama-C and stored into Cabshelper.commentsGA, it seems that the first character from the comment disappears. In the following example, we would find "est1" and "est2" instead of "test1" and "test2" :
//test1 /test2/ extern void test();