Ignore:
Timestamp:
Feb 7, 2012, 6:01:43 PM (8 years ago)
Author:
ayache
Message:

Frama-C plug-in (sources+documentation)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D5.1-5.3/cost-plug-in/plugin/cerco.ml

    r1462 r1679  
    1111    let fun_name = String.sub s 0 i in
    1212    let var_name = String.sub s (i+1) (String.length s - (i+1)) in
    13     StringTools.Map.add fun_name var_name (extern_cost_variables cin)
    14   with End_of_file -> StringTools.Map.empty
     13    Misc.String.Map.add fun_name var_name (extern_cost_variables cin)
     14  with End_of_file -> Misc.String.Map.empty
    1515
    1616(** [multifile_exists exts filename] returns true if and only if the file name
     
    5656
    5757let apply lustre_option lustre_verify_option lustre_test_option (filename, _)
    58     : Cabs.file * string * string * string * string StringTools.Map.t =
     58    : Cabs.file * string * string * string * string Misc.String.Map.t =
    5959  let annotated_ext = "-annotated.c" in
    6060  let asm_ext = ".s" in
Note: See TracChangeset for help on using the changeset viewer.