Ignore:
Timestamp:
Mar 19, 2013, 8:42:43 AM (7 years ago)
Author:
sacerdot
Message:

Semantics of ASM in place (up to return values and function call names).
The test example badly diverges in ASM after being ok in LIN.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/aSMCostsSplit.ml

    r2773 r2905  
    182182  Identifiers.lookup_present PreIdentifiers.CostTag (Types.pi1 cost_map)
    183183    (StructuredTraces.as_cost_get_label
    184       (ASMCosts.aSM_abstract_status (Fetch.load_code_memory p.ASM.oc)
     184      (ASMCosts.oC_abstract_status (Fetch.load_code_memory p.ASM.oc)
    185185        p.ASM.costlabels) l_sig))
    186186
Note: See TracChangeset for help on using the changeset viewer.