Hi all,

    I downloaded the cil-1.3.7 and want to generate the CFG for c source code

    But with the command line cilly --save-temps --domakeCFG hello.c

    I just got files include hello.cil.c, hello.cil.i.

According to the manual, I understant that in the output, there should be succ 
and pres flags for each statement.

But it seems there is no flag.

Is my understanding wrong? or I missed some command options?

What is the farmat of the file generated by computeFileCFG? Can anyone give me 
a example

Anyone can help me? 

-- 
ZHAO Lei,Ph.D Candidate
Computer School of Wuhan University
Wuhan 430072,Hu bei,P.R.China 
------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day 
trial. Simplify your report design, integration and deployment - and focus on 
what you do best, core application coding. Discover what's new with
Crystal Reports now.  http://p.sf.net/sfu/bobj-july
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to