Ignore:
Timestamp:
Mar 7, 2011, 11:10:57 AM (10 years ago)
Author:
ayache
Message:

Hex output not too long for mcu anymore. Readable output added.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/clight/clightAnnotator.ml

    r624 r640  
    285285  close_out cout
    286286
    287 (** [instrument prog cost_map] instruments the program [prog]. *)
     287(** [instrument prog cost_map] instruments the program [prog]. First a fresh
     288    global variable --- the so-called cost variable --- is added to the program.
     289    Then, each cost label in the program is replaced by an increment of the cost
     290    variable, following the mapping [cost_map]. The function also returns the
     291    name of the cost variable and the name of the cost increment function. *)
    288292
    289293let instrument p cost_mapping =
     
    318322  let res = ClightParser.process tmp_file in
    319323  Misc.SysExt.safe_remove tmp_file ;
    320   (res, cost_incr)
     324  (res, cost_id, cost_incr)
Note: See TracChangeset for help on using the changeset viewer.