source:
src/RTLabs/test/search.test.ma
@
1226
Last change on this file since 1226 was 1226, checked in by , 10 years ago | |
---|---|
File size: 226 bytes |
Line | |
---|---|
1 | include "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.