Changeset 3091


Ignore:
Timestamp:
Apr 4, 2013, 11:31:56 AM (4 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed

  • driver/clightPrinter.mli

    r2787 r3091  
    44type cost_style =
    55| Cost_plain
    6 | Cost_numbered of Extracted.Label.clight_cost_map * Extracted.Joint.stack_cost_model
    7 | Cost_instrumented of Extracted.Label.clight_cost_map * Extracted.Joint.stack_cost_model
     6| Cost_numbered of Extracted.Label.clight_cost_map * Extracted.CostLabel.costlabel * Extracted.Joint.stack_cost_model * Extracted.Nat.nat
     7| Cost_instrumented of Extracted.Label.clight_cost_map * Extracted.CostLabel.costlabel * Extracted.Joint.stack_cost_model * Extracted.Nat.nat
    88
    99val print_program: cost_style -> Extracted.Csyntax.clight_program -> string
Note: See TracChangeset for help on using the changeset viewer.