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
