Hi Gabriel,
Thanks for your feedback. I modified the code, however, it does not work.
let d_cfgedge (src) () (dest) =
match src.skind with
| If (_, tb, fb, _) ->
(if (List.memq dest tb.bstmts) then
dprintf "%a -> %a [label=\"true\"]"
d_cfgnodename src
Hi,
On Wed, Jul 21, 2010 at 02:55:48PM +0800, haihao shen wrote:
> let d_cfgedge (src) () (dest) =
> match src.skind with
> | If (_, tb, fb, _) ->
> (if (List.mem dest tb.bstmts) then
> dprintf "%a -> %a [label=\"true\"]"
> d_cfgnodename src
> d_cfgnod
Hi all,
Currently I am doing some work on CIL. I would like to obtain the
conditional result (true/false) in the DOT file generated by CIL. Therefore,
I modified the code in ext/cfg.ml.
let d_cfgedge (src) () (dest) =
match src.skind with
| If (_, tb, fb, _) ->
(if (List.mem dest tb
