Changeset 2934

Timestamp:

Mar 21, 2013, 8:34:35 PM (6 years ago)

Author:

sacerdot

Message:

Patch to obtain more easily comparable traces.

File:

• driver/cerco.ml (modified) (2 diffs)

driver/cerco.ml

@@ -17 +17 @@
 let string_of_pass =
  function
- | Extracted.Compiler.Clight_pass                -> "Clight_pass"
+ | Extracted.Compiler.Clight_pass                -> "Clight_pass               "
  | Extracted.Compiler.Clight_switch_removed_pass -> "Clight_switch_removed_pass"
- | Extracted.Compiler.Clight_label_pass          -> "Clight_label_pass"
- | Extracted.Compiler.Clight_simplified_pass     -> "Clight_simplified_pass"
- | Extracted.Compiler.Cminor_pass                -> "Cminor_pass"
- | Extracted.Compiler.Rtlabs_pass                -> "Rtlabs_pass"
- | Extracted.Compiler.Rtl_separate_pass          -> "Rtl_separate_pass"
- | Extracted.Compiler.Rtl_uniq_pass              -> "Rtl_uniq_pass"
- | Extracted.Compiler.Ertl_pass                  -> "Ertl_pass"
- | Extracted.Compiler.Ertlptr_pass               -> "Ertlptr_pass"
- | Extracted.Compiler.Ltl_pass                   -> "Ltl_pass"
- | Extracted.Compiler.Lin_pass                   -> "Lin_pass"
- | Extracted.Compiler.Assembly_pass              -> "Assembly_pass"
- | Extracted.Compiler.Object_code_pass           -> "Object_code_pass"
+ | Extracted.Compiler.Clight_label_pass          -> "Clight_label_pass         "
+ | Extracted.Compiler.Clight_simplified_pass     -> "Clight_simplified_pass    "
+ | Extracted.Compiler.Cminor_pass                -> "Cminor_pass               "
+ | Extracted.Compiler.Rtlabs_pass                -> "Rtlabs_pass               "
+ | Extracted.Compiler.Rtl_separate_pass          -> "Rtl_separate_pass         "
+ | Extracted.Compiler.Rtl_uniq_pass              -> "Rtl_uniq_pass             "
+ | Extracted.Compiler.Ertl_pass                  -> "Ertl_pass                 "
+ | Extracted.Compiler.Ertlptr_pass               -> "Ertlptr_pass              "
+ | Extracted.Compiler.Ltl_pass                   -> "Ltl_pass                  "
+ | Extracted.Compiler.Lin_pass                   -> "Lin_pass                  "
+ | Extracted.Compiler.Assembly_pass              -> "Assembly_pass             "
+ | Extracted.Compiler.Object_code_pass           -> "Object_code_pass          "
 ;;
 
@@ -46 +46 @@
     print_string (Printer.print_program pass prog);
     Extracted.Semantics.run_and_print pass prog infinity
-     (fun p -> print_endline ("\n" ^ string_of_pass p ^ ":"); Extracted.Types.It)
+     (fun p -> print_string ("\n" ^ string_of_pass p ^ ": "); Extracted.Types.It)
      (fun evn -> print_string (string_of_intensional_event evn); Extracted.Types.It)
      (fun msg -> print_endline (Error.errormsg msg); Extracted.Types.It)