Dear Ting Su,
Thank you very much for your quick reply.
My bad for just digging up the code but not considering the quickest
reference "--help". Yes, I guess the option --printCilAsIs does help.
For my first point, I want to output also the line number of TRANSLATED
code in the output file but n
Dear Cil users,
Please kindly help me the following issues:
1. Does Cil support identifying line numbers of translated statements in
the output files? For example, consider the following piece of code:
if (x > 10 && y > 10)
It will be translated to:
if (x > 10)
if (y > 10)
When C
Dear Cil users,
Please kindly help me the following issues:
1. Does Cil support identifying line numbers of translated statements in
the output files? For example, consider the following piece of code:
if (x > 10 && y > 10)
It will be translated to:
if (x > 10)
if (y > 10)
When Cil outputs t
