Ignore:
Timestamp:
Mar 2, 2011, 3:27:41 PM (9 years ago)
Author:
ayache
Message:

Update of D2.2 from Paris.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/checker.mli

    r486 r619  
    33(** [same_traces ts] checks that the collected execution traces are
    44    identical (modulo permutation). *)
    5 val same_traces : (Languages.ast * (Label.t list)) list -> unit
    6 
    7 
    8 
     5val same_traces : (Languages.ast * AST.trace) list -> unit
Note: See TracChangeset for help on using the changeset viewer.