source: src/Clight/test/factorial.test.ma @ 1513

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

Fix up Clight examples.

File size: 209 bytes
Line 
1include "Clight/test/factorial.c.ma".
2
3example exec: finishes_with (repr I32 120) ? (exec_up_to clight_fullexec myprog 1000 [EVint I32 (repr ? 5)]).
4normalize  (* you can examine the result here *)
5@refl
6qed.
Note: See TracBrowser for help on using the repository browser.