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/abstractStatus.mli

    r2773 r2905  
    128128val word_deqset : Deqsets.deqSet
    129129
    130 val aSM_classify :
     130val oC_classify :
    131131  BitVector.byte BitVectorTrie.bitVectorTrie -> Status.status ->
    132132  StructuredTraces.status_class
Note: See TracChangeset for help on using the changeset viewer.