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 the hello.cil.c file, which does not include succ and pres flag. It seems not like the manual book.
Anyone can help me?
ZHAO Lei,Ph.D Candidate
Computer School of Wuhan University
Wuhan 430072,Hu bei,P.R.China