Changeset 2854 for extracted/aSMCosts.ml


Ignore:
Timestamp:
Mar 12, 2013, 5:53:56 PM (7 years ago)
Author:
sacerdot
Message:

Pretty printing of the LTL program.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/aSMCosts.ml

    r2833 r2854  
    129129      Nat.O)))))))))))))))) (Obj.magic pc) cost_labels);
    130130    StructuredTraces.as_result = (fun x -> assert false (* absurd case *));
    131     StructuredTraces.as_call_ident = (fun x -> assert false (* absurd case *));
    132     StructuredTraces.as_tailcall_ident = (fun x -> assert false (* absurd case *)) }
     131    StructuredTraces.as_call_ident = (fun x -> assert false
     132    (* absurd case *)); StructuredTraces.as_tailcall_ident = (fun x ->
     133    assert false (* absurd case *)) }
    133134
    134135(** val trace_any_label_length :
     
    208209   | Nat.S program_size' ->
    209210     (fun _ ->
    210        (let { Types.fst = eta31776; Types.snd = ticks } =
     211       (let { Types.fst = eta9; Types.snd = ticks } =
    211212          Fetch.fetch code_memory' program_counter'
    212213        in
    213        let { Types.fst = instruction; Types.snd = program_counter'' } =
    214          eta31776
     214       let { Types.fst = instruction; Types.snd = program_counter'' } = eta9
    215215       in
    216216       (fun _ ->
Note: See TracChangeset for help on using the changeset viewer.