Changeset 2106 for src/Clight/test
- Timestamp:
- Jun 21, 2012, 5:21:05 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/Clight/test/search.test.ma
r1991 r2106 38 38 example fe : finishes_with (repr 3) state ( 39 39 bind ? (snapshot state) (front_end myprog) (λp. 40 exec_up_to RTLabs_fullexec p1000 [ ])).40 exec_up_to RTLabs_fullexec (\snd p) 1000 [ ])). 41 41 normalize 42 42 %
Note: See TracChangeset
for help on using the changeset viewer.