source: src/Clight/test/oneoff.test.ma @ 2180

Last change on this file since 2180 was 2180, checked in by campbell, 9 years ago

Fix off-by-one error in GenMem?.ma.

File size: 142 bytes
Line 
1include "Clight/test/oneoff.c.ma".
2
3example exec: exec_up_to clight_fullexec myprog 1000 [ ] = Error ? [(MSG FailedStore)].
4normalize
5%
6qed.
7
Note: See TracBrowser for help on using the repository browser.