source: src/Clight/test/castremoval.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: 545 bytes
RevLine 
[1513]1include "common/Animation.ma".
2include "Clight/test/castremoval.c.ma".
3
4example exec: finishes_with (repr I32 1) ? (exec_up_to clight_fullexec myprog 1000 [EVint I32 (repr I32 0)]).
5normalize  (* you can examine the result here *)
6@refl
7qed.
8
9include "Clight/SimplifyCasts.ma".
10
11example simplified: result ? (simplify_program myprog).
12normalize
13%
14qed.
15
16example exec_s: finishes_with (repr I32 1) ? (exec_up_to clight_fullexec (simplify_program myprog) 1000 [EVint I32 (repr I32 0)]).
17normalize  (* you can examine the result here *)
18@refl
19qed.
20
Note: See TracBrowser for help on using the repository browser.