Changeset 2960 for driver/cerco.ml


Ignore:
Timestamp:
Mar 26, 2013, 4:51:40 PM (7 years ago)
Author:
sacerdot
Message:

New extraction, it diverges in RTL execution now.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/cerco.ml

    r2934 r2960  
    5757  | Error m -> failwith (Error.errormsg m)
    5858in
     59prerr_endline "GOO1";
    5960let labelled = output.Extracted.Compiler.c_labelled_clight in
    6061let l_costmap = output.Extracted.Compiler.c_clight_cost_map in
Note: See TracChangeset for help on using the changeset viewer.