Changeset 2860 for driver/cerco.ml


Ignore:
Timestamp:
Mar 13, 2013, 2:02:57 AM (8 years ago)
Author:
sacerdot
Message:

RTL printing, core dumps ATM

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/cerco.ml

    r2854 r2860  
    4242  let rec infinity = Extracted.Nat.S infinity in
    4343  (fun pass prog ->
    44     if pass = Extracted.Compiler.Ltl_pass then
    45      print_string (BackendPrinter.print_LTL_program (fst (Obj.magic prog)));
     44    print_string (BackendPrinter.print_program pass (fst (Obj.magic prog)));
    4645    Extracted.Semantics.run_and_print pass prog infinity
    4746     (fun p -> print_endline ("\n" ^ string_of_pass p ^ ":"); Extracted.Types.It)
Note: See TracChangeset for help on using the changeset viewer.