Changeset 1572 for Deliverables/D2.2/8051/src/LTL/LTLPrinter.ml

Timestamp:

Nov 28, 2011, 3:13:14 PM (8 years ago)

Author:

tranquil

Message:

• corrected previous bug
• finished propagating immediates

File:

• Deliverables/D2.2/8051/src/LTL/LTLPrinter.ml (modified) (3 diffs)

Deliverables/D2.2/8051/src/LTL/LTLPrinter.ml

@@ -71 +71 @@
 
 
-let print_graph n c =
+let print_graph n c entry =
   let f lbl stmt s =
     Printf.sprintf "%s%s: %s\n%s"
@@ -78 +78 @@
       (print_statement stmt)
       s in
-  Label.Map.fold f c ""
+  LTLUtilities.dfs_fold f c entry ""
+  (* Label.Map.fold f c "" *)
 
 
@@ -93 +94 @@
     (n_spaces (n+2))
     def.LTL.f_exit
-    (print_graph (n+2) def.LTL.f_graph)
+    (print_graph (n+2) def.LTL.f_graph def.LTL.f_entry)