Changeset 2960 for extracted/lTL.ml


Ignore:
Timestamp:
Mar 26, 2013, 4:51:40 PM (7 years ago)
Author:
sacerdot
Message:

New extraction, it diverges in RTL execution now.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/lTL.ml

    r2951 r2960  
    198198    Joint.add_graph lTL (AST.prog_var_names p.Joint.joint_prog) l2
    199199      (Joint.Sequential ((Joint.CALL ((Types.Inl
    200       p.Joint.joint_prog.AST.prog_main),
    201       (Obj.magic (Nat.S (Nat.S (Nat.S (Nat.S Nat.O))))),
     200      p.Joint.joint_prog.AST.prog_main), (Obj.magic Nat.O),
    202201      (Obj.magic Types.It))), (Obj.magic l3))) res0
    203202  in
Note: See TracChangeset for help on using the changeset viewer.