100 static const char *t_str(enum num_t t)  in t_str()  function
657 		snappendf(sb, "%s%s=", cnt++ ? "," : "", t_str(t));  in print_reg_state()
669 	printf("REFINING (%s) (%s)SRC=", ctx, t_str(s_t));  in print_refinement()
671 	printf(" (%s)DST_OLD=", t_str(d_t));  in print_refinement()
673 	printf(" (%s)DST_NEW=", t_str(d_t));  in print_refinement()
1217 		if (!assert_range_eq(t, r->r[t], e->r[t], ctx, t_str(t)))  in assert_reg_state_eq()
1280 		printf("STEP1 (%s) R1: ", t_str(init_t)); print_reg_state(fr1, "\n");  in sim_case()
1281 		printf("STEP1 (%s) R2: ", t_str(init_t)); print_reg_state(fr2, "\n");  in sim_case()
1292 		printf("STEP2 (%s) R1: ", t_str(init_t)); print_reg_state(fr1, "\n");  in sim_case()
1293 		printf("STEP2 (%s) R2: ", t_str(init_t)); print_reg_state(fr2, "\n");  in sim_case()
1309 		printf("STEP3 (%s) FALSE R1:", t_str(cond_t)); print_reg_state(fr1, "\n");  in sim_case()
1310 		printf("STEP3 (%s) FALSE R2:", t_str(cond_t)); print_reg_state(fr2, "\n");  in sim_case()
1311 		printf("STEP3 (%s) TRUE  R1:", t_str(cond_t)); print_reg_state(tr1, "\n");  in sim_case()
1312 		printf("STEP3 (%s) TRUE  R2:", t_str(cond_t)); print_reg_state(tr2, "\n");  in sim_case()
1374 	snappendf(sb, "(%s)", t_str(t->init_t));  in subtest_case_str()
1376 	snappendf(sb, " (%s)%s ", t_str(t->cond_t), use_op ? op_str(t->op) : "<op>");  in subtest_case_str()
1770 		 t_str(init_t), t_str(cond_t));  in validate_gen_range_vs_const_64()
1809 		 t_str(init_t), t_str(cond_t));  in validate_gen_range_vs_const_32()
1866 		 t_str(init_t), t_str(cond_t));  in validate_gen_range_vs_range()
1987 		 t_str(init_t), t_str(cond_t));  in validate_rand_ranges()