Changeset 3091
- Timestamp:
- Apr 4, 2013, 11:31:56 AM (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
driver/clightPrinter.mli
r2787 r3091 4 4 type cost_style = 5 5 | Cost_plain 6 | Cost_numbered of Extracted.Label.clight_cost_map * Extracted. Joint.stack_cost_model7 | Cost_instrumented of Extracted.Label.clight_cost_map * Extracted. Joint.stack_cost_model6 | 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 8 8 9 9 val print_program: cost_style -> Extracted.Csyntax.clight_program -> string
Note: See TracChangeset
for help on using the changeset viewer.