Ignore:
Timestamp:
Oct 3, 2012, 11:33:45 AM (7 years ago)
Author:
campbell
Message:

Minor housekeeping.

File:
1 edited

Legend:

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

    r2106 r2385  
    2222
    2323example e2: finishes_with (repr 3) ? (
    24 do p1 ← clight_to_cminor myprog;
    25 bind ? (snapshot state) (cminor_to_rtlabs p1) (λp2.
     24let 〈p0,init〉 ≝ clight_label myprog in
     25bind ? (snapshot state) (clight_to_cminor p0) (λp1.
     26let p2 ≝ cminor_to_rtlabs init p1 in
    2627 exec_up_to RTLabs_fullexec p2 1000 [ ])).
    2728(*
Note: See TracChangeset for help on using the changeset viewer.