SourceForge has been redesigned. Learn more.
Close

#119 Attach boolean result in DOT file

Feature request
closed-accepted
nobody
5
2011-03-01
2010-07-21
Anonymous
No

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_cfgnodename dest
else if (List.mem dest fb.bstmts) then
dprintf "%a -> %a [label=\"false\"]"
d_cfgnodename src
d_cfgnodename dest
else
dprintf "%a -> %a [label=\"true$\"]"(*true likely, note that no false likely!!!*)
d_cfgnodename src
d_cfgnodename dest);
| _ -> dprintf "%a -> %a"
d_cfgnodename src
d_cfgnodename dest

Discussion

  • Gabriel Kerneis

    Gabriel Kerneis - 2011-02-15

    I am willing to accept this patch but I do not understand the following comment:
    (*true likely, note that no false likely!!!*)

    When could this case happen? Why should it be labeled as "true"?

     
  • Gabriel Kerneis

    Gabriel Kerneis - 2011-02-15
    • status: open --> pending-accepted
     
  • SourceForge Robot

    • status: pending-accepted --> closed-accepted
     
  • SourceForge Robot

    This Tracker item was closed automatically by the system. It was
    previously set to a Pending status, and the original submitter
    did not respond within 14 days (the time period specified by
    the administrator of this Tracker).

     

Log in to post a comment.