source:
src/Clight/test/null-op.test.ma
@
1876
Last change on this file since 1876 was 1876, checked in by , 9 years ago | |
---|---|
File size: 176 bytes |
Line | |
---|---|
1 | include "Clight/test/null-op.c.ma". |
2 | |
3 | example exec: finishes_with (repr 1) ? (exec_up_to clight_fullexec myprog 50 [ ]). |
4 | normalize (* you can examine the result here *) |
5 | % |
6 | qed. |
Note: See TracBrowser
for help on using the repository browser.