Ignore:
Timestamp:
Feb 13, 2012, 3:54:58 PM (7 years ago)
Author:
tranquil
Message:

kept out the wrapper (which I did not touch, so not sure it works)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/compute.ml

    r1508 r1689  
    654654    let body_cost = Cost_value.reduce e e e body_cost in
    655655    let body_cost = Cost_value.amalgamation body_cost in
     656    Printf.printf "%s\n" (to_string body_cost);
    656657    mk_loop_cost_index index 0 v 1 body_cost
    657658
     
    10021003    mk_loop_invariant_counter_no_change counter rel init_value exit_value in
    10031004  let invariant_cost =
    1004     mk_loop_invariant_cost extern_costs tmp_cost costs prots cost_id
     1005     mk_loop_invariant_cost extern_costs tmp_cost costs prots cost_id
    10051006      counter cost in
    10061007  let variant =
Note: See TracChangeset for help on using the changeset viewer.