Ignore:
Timestamp:
Feb 7, 2012, 6:01:43 PM (9 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/cost.ml

    r1462 r1679  
    2828  Plugin.Register
    2929    (struct
    30       let name = "Cost synthesis"
     30      let name = "cost synthesis"
    3131      let shortname = "cost"
    3232      let module_name = "Cost.Self"
    33       let help = "Synthesis of the execution cost of each function"
     33      let help = "synthesis of the execution cost of each function"
    3434      let is_dynamic = true
    3535     end)
     
    7878    let files : Cabs.file list = Ast.UntypedFiles.get () in
    7979    let files :
    80         (Cabs.file * string * string * string * string StringTools.Map.t) list =
     80        (Cabs.file * string * string * string * string Misc.String.Map.t) list =
    8181      List.map
    8282        (Cerco.apply lustre_option lustre_verify_option lustre_test_option)
    8383        files in
     84    Compute.debug := Self.Debug.get () <> 0 ;
    8485    List.iter Compute.cost files
    8586
Note: See TracChangeset for help on using the changeset viewer.