| Checking min_index_select_u32_u32_start_0 | |
| Checking min_index_select_u32_u32_start_0_inc_2 | |
| Checking min_index_select_u32_u32_start_2 | |
| Checking min_index_select_u32_u32_with_trunc | |
| Checking min_index_select_u32_u32_induction_decrement | |
| Checking min_index_select_u32_u32_start_0_min_idx_neg1 | |
| Checking min_index_select_u32_u32_start_3_min_idx_3 | |
| Checking min_index_select_u32_u32_start_3_min_idx_2 | |
| Checking min_index_select_u32_u32_start_3_min_idx_4 | |
| exit 0 |