Changeset 2797 for extracted/aSMCosts.ml


Ignore:
Timestamp:
Mar 7, 2013, 12:55:34 PM (7 years ago)
Author:
sacerdot
Message:

Extracted again after James's cleanup and the implementation of the
new testing function to be used in the untrusted code.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/aSMCosts.ml

    r2775 r2797  
    128128      (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S (Nat.S
    129129      Nat.O)))))))))))))))) (Obj.magic pc) cost_labels);
    130     StructuredTraces.as_result = (fun _ -> assert false (* absurd case *));
    131     StructuredTraces.as_call_ident = (fun _ -> assert false (* absurd case *));
    132     StructuredTraces.as_tailcall_ident = (fun _ -> assert false (* absurd case *)) }
     130    StructuredTraces.as_result = (assert false (* absurd case *));
     131    StructuredTraces.as_call_ident = (assert false (* absurd case *));
     132    StructuredTraces.as_tailcall_ident = (assert false (* absurd case *)) }
    133133
    134134(** val trace_any_label_length :
Note: See TracChangeset for help on using the changeset viewer.