Ignore:
Timestamp:
Sep 16, 2011, 7:16:44 PM (8 years ago)
Author:
campbell
Message:

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

File:
1 edited

Legend:

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

    r1157 r1226  
    428428
    429429OK ? (mk_program ??
     430  (*globals:*)
     431  []
    430432(  (pair ?? id_main f_main)::
    431433  (pair ?? id_search f_search)::
     
    434436(nil ?))
    435437  id_main
    436   (*globals:*)
    437   []
    438438).
    439 
    440    example exec: finishes_with (repr I32 3) ? (do p ← prog; do r ← exec_up_to RTLabs_fullexec p 1000 [ ]; OK ? r).
    441    normalize  (* you can examine the result here *)
    442    @refl qed.
Note: See TracChangeset for help on using the changeset viewer.