Changeset 2968 for extracted/traces.mli


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

The initial status memory was not really initialized. Now it is.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/traces.mli

    r2960 r2968  
    351351  prog_params -> evaluation_params Types.sig0
    352352
    353 val make_initial_state : prog_params -> Joint_semantics.state_pc
     353val make_initial_state : prog_params -> Joint_semantics.state_pc Errors.res
    354354
    355355val joint_classify_step :
Note: See TracChangeset for help on using the changeset viewer.