Ignore:
Timestamp:
Jan 4, 2012, 7:19:09 PM (8 years ago)
Author:
campbell
Message:

Update Cminor pretty printer and examples.

File:
1 edited

Legend:

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

    r1226 r1633  
    1010include "RTLabs/semantics.ma".
    1111
    12 example execRTL: finishes_with (repr 3) ? (do myprog' ← cminor_to_rtlabs myprog; exec_up_to RTLabs_fullexec myprog' 1000 [ ]).
     12example execRTL: finishes_with (repr 3) ?
     13(bind ? (snapshot state) (cminor_to_rtlabs myprog)
     14  (λmyprog'. exec_up_to RTLabs_fullexec myprog' 1000 [ ])).
    1315normalize  (* you can examine the result here *)
    1416@refl
Note: See TracChangeset for help on using the changeset viewer.