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.ml

    r486 r619  
    1 let same_traces (traces : ((Languages.ast * (Label.t list)) list)) =
     1let same_traces (traces : ((Languages.ast * AST.trace) list)) =
    22  let compare_trace trace1 trace2 =
    33    let occs_trace1 = Misc.ListExt.multi_set_of_list trace1
     
    55    Misc.ListExt.assoc_diff occs_trace1 occs_trace2
    66  in
    7   let check_trace (_, trace1) (_, trace2) =
     7  let check_trace (_, (_, trace1)) (_, (_, trace2)) =
    88    compare_trace trace1 trace2 = []
    99  in
     
    2222  match Misc.ListExt.transitive_forall2 check_trace traces with
    2323    | None -> ()
    24     | Some ((ast1, trace1), (ast2, trace2)) ->
     24    | Some ((ast1, (res1, trace1)), (ast2, (res2, trace2))) ->
    2525      let lang1 = Languages.to_string (Languages.language_of_ast ast1)
    2626      and lang2 = Languages.to_string (Languages.language_of_ast ast2) in
Note: See TracChangeset for help on using the changeset viewer.