Changeset 2831


Ignore:
Timestamp:
Mar 8, 2013, 11:38:27 PM (6 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/joint_LTL_LIN_semantics.ml

    r2829 r2831  
    252252    Joint_semantics.setup_call = (fun x x0 x1 st ->
    253253    Obj.magic (Monad.m_return0 (Monad.max_def Errors.res0) st));
    254     Joint_semantics.fetch_external_args = (assert false (* absurd case *));
     254    Joint_semantics.fetch_external_args = (fun x -> assert false (* absurd case *));
    255255    Joint_semantics.set_result = (Obj.magic ltl_lin_set_result);
    256256    Joint_semantics.call_args_for_main = (Obj.magic Nat.O);
     
    261261        (List.map
    262262          (SemanticsUtils.hwreg_retrieve (Obj.magic st.Joint_semantics.regs))
    263           I8051.registerRets))); Joint_semantics.eval_ext_seq = (assert false
     263          I8051.registerRets))); Joint_semantics.eval_ext_seq = (fun x -> assert false
    264264    (* absurd case *)); Joint_semantics.pop_frame = (fun x x0 x1 x2 st ->
    265265    Joint_semantics.pop_ra lTL_LIN_state st) }
Note: See TracChangeset for help on using the changeset viewer.