source:
src/Clight/test/oneoff.test.ma
@
2180
| Last change on this file since 2180 was 2180, checked in by , 9 years ago | |
|---|---|
| File size: 142 bytes | |
| Line | |
|---|---|
| 1 | include "Clight/test/oneoff.c.ma". |
| 2 | |
| 3 | example exec: exec_up_to clight_fullexec myprog 1000 [ ] = Error ? [(MSG FailedStore)]. |
| 4 | normalize |
| 5 | % |
| 6 | qed. |
| 7 |
Note: See TracBrowser
for help on using the repository browser.
