Changeset 765 for src/RTLabs/test
- Timestamp:
- Apr 20, 2011, 5:39:00 PM (10 years ago)
- Location:
- src/RTLabs/test
- Files:
-
- 1 added
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/RTLabs/test/search.ma
r750 r765 132 132 (pair ?? search10 (make_St_cond2 (Ocmp Clt) 12 13 search9 search5)); 133 133 (pair ?? search1 (make_St_op1 Onegint 8 9 search0)); 134 (pair ?? search0 (make_St_return 8))134 (pair ?? search0 (make_St_return)) 135 135 ] 136 136 … … 233 233 (pair ?? main10 (make_St_const 11 (Ointconst (repr 1)) main9)); 234 234 (pair ?? main1 (make_St_op1 Ocast8unsigned 2 1 main0)); 235 (pair ?? main0 (make_St_return 2))235 (pair ?? main0 make_St_return) 236 236 ] 237 237
Note: See TracChangeset
for help on using the changeset viewer.