Changeset 748


Ignore:
Timestamp:
Apr 12, 2011, 12:32:32 PM (9 years ago)
Author:
campbell
Message:

Change example statement for easier testing.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/test/search.ma

    r731 r748  
    189189.
    190190
    191 example exec: result ? (exec_up_to clight_fullexec myprog 1000 [EVint (repr 0)]).
     191example exec: finishes_with (repr 3) ? (exec_up_to clight_fullexec myprog 1000 [ ]).
    192192normalize  (* you can examine the result here *)
    193 %
     193@refl
    194194qed.
Note: See TracChangeset for help on using the changeset viewer.