Changeset 2106 for src/Clight/test


Ignore:
Timestamp:
Jun 21, 2012, 5:21:05 PM (9 years ago)
Author:
campbell
Message:

Fix up a couple of proofs broken by recent changes.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/Clight/test/search.test.ma

    r1991 r2106  
    3838example fe : finishes_with (repr 3) state (
    3939bind ? (snapshot state) (front_end myprog) (λp.
    40 exec_up_to RTLabs_fullexec p 1000 [ ])).
     40exec_up_to RTLabs_fullexec (\snd p) 1000 [ ])).
    4141normalize
    4242%
Note: See TracChangeset for help on using the changeset viewer.