--- layout: fc_discuss_archives title: Message 45 from Frama-C-discuss on March 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] How to see non-ACSL comments in Frama-C AST?



Hi,

I am wondering if this is possible to see the original comments of a C 
code in the
AST?

I tried to match the Gtext construct of the type Cil_types.global, but 
either I did not do it
correctly (I am new to Frama-C), or the purpose of GText is orthogonal 
to comments.

Thanks for your help!

Etienne.