Ignore:
Timestamp:
Mar 1, 2013, 7:56:34 PM (8 years ago)
Author:
campbell
Message:

Print out costs, with choice of style.
Note small anti-assertion patch to extracted ASMCosts.
No stack space yet.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/clightPrinter.mli

    r2758 r2759  
    22    programs. *)
    33
    4 val print_program: Extracted.Csyntax.clight_program -> string
     4type cost_style =
     5| Cost_plain
     6| Cost_numbered of Extracted.Label.clight_cost_map
     7| Cost_instrumented of Extracted.Label.clight_cost_map
    58
    6 val print_expression: Extracted.Csyntax.expr -> string
     9val print_program: cost_style -> Extracted.Csyntax.clight_program -> string
     10
     11val print_expression: cost_style -> Extracted.Csyntax.expr -> string
    712
    813val string_of_ctype: Extracted.Csyntax.type0 -> string
    914
    10 val print_statement: Extracted.Csyntax.statement -> string
     15val print_statement: cost_style -> Extracted.Csyntax.statement -> string
    1116
    1217val print_ctype_prot: Extracted.Csyntax.type0 -> string
Note: See TracChangeset for help on using the changeset viewer.