source: src/RTLabs/test/search.test.ma @ 1226

Last change on this file since 1226 was 1226, checked in by campbell, 8 years ago

Adjust pretty printers for change in program records, try a test of each.

File size: 226 bytes
Line 
1include "RTLabs/test/search.RTLabs.ma".
2
3   example exec: finishes_with (repr I32 3) ? (do p ← prog; do r ← exec_up_to RTLabs_fullexec p 1000 [ ]; OK ? r).
4   normalize  (* you can examine the result here *)
5   @refl qed.
Note: See TracBrowser for help on using the repository browser.