Ignore:
Timestamp:
Nov 28, 2011, 3:13:14 PM (8 years ago)
Author:
tranquil
Message:
  • corrected previous bug
  • finished propagating immediates
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/LTL/LTLPrinter.ml

    r1568 r1572  
    7171
    7272
    73 let print_graph n c =
     73let print_graph n c entry =
    7474  let f lbl stmt s =
    7575    Printf.sprintf "%s%s: %s\n%s"
     
    7878      (print_statement stmt)
    7979      s in
    80   Label.Map.fold f c ""
     80  LTLUtilities.dfs_fold f c entry ""
     81  (* Label.Map.fold f c "" *)
    8182
    8283
     
    9394    (n_spaces (n+2))
    9495    def.LTL.f_exit
    95     (print_graph (n+2) def.LTL.f_graph)
     96    (print_graph (n+2) def.LTL.f_graph def.LTL.f_entry)
    9697
    9798
Note: See TracChangeset for help on using the changeset viewer.