Changeset 1876 for src/Clight/test/switcher.test.ma
- Timestamp:
- Apr 4, 2012, 6:48:26 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/Clight/test/switcher.test.ma
r1513 r1876 4 4 example exec0: finishes_with (repr I32 16) ? (exec_up_to clight_fullexec myprog 1000 [EVint I32 (repr ? 0)]). 5 5 normalize (* you can examine the result here *) 6 @reflqed.6 % qed. 7 7 8 8 example exec1: finishes_with (repr I32 0) ? (exec_up_to clight_fullexec myprog 1000 [EVint I32 (repr ? 1)]). 9 9 normalize (* you can examine the result here *) 10 @reflqed.10 % qed. 11 11 12 12 example exec3: finishes_with (repr I32 1) ? (exec_up_to clight_fullexec myprog 1000 [EVint I32 (repr ? 3)]). 13 13 normalize (* you can examine the result here *) 14 @reflqed.14 % qed. 15 15 16 16 example exec5: finishes_with (repr I32 5) ? (exec_up_to clight_fullexec myprog 1000 [EVint I32 (repr ? 5)]). 17 17 normalize (* you can examine the result here *) 18 @reflqed.18 % qed. 19 19 20 20 example exec7: finishes_with (repr I32 3) ? (exec_up_to clight_fullexec myprog 1000 [EVint I32 (repr ? 7)]). 21 21 normalize (* you can examine the result here *) 22 @reflqed.22 % qed.
Note: See TracChangeset
for help on using the changeset viewer.