print_reg_state
print_reg_state(env, state, reg);
print_reg_state(env, state, reg);
printf("STEP1 (%s) R1: ", t_str(init_t)); print_reg_state(fr1, "\n");
printf("STEP1 (%s) R2: ", t_str(init_t)); print_reg_state(fr2, "\n");
printf("STEP2 (%s) R1: ", t_str(init_t)); print_reg_state(fr1, "\n");
printf("STEP2 (%s) R2: ", t_str(init_t)); print_reg_state(fr2, "\n");
printf("STEP3 (%s) FALSE R1:", t_str(cond_t)); print_reg_state(fr1, "\n");
printf("STEP3 (%s) FALSE R2:", t_str(cond_t)); print_reg_state(fr2, "\n");
printf("STEP3 (%s) TRUE R1:", t_str(cond_t)); print_reg_state(tr1, "\n");
printf("STEP3 (%s) TRUE R2:", t_str(cond_t)); print_reg_state(tr2, "\n");
printf("ACTUAL FALSE1: "); print_reg_state(&fr1, "\n");
printf("EXPECTED FALSE1: "); print_reg_state(&fe1, "\n");
printf("ACTUAL FALSE2: "); print_reg_state(&fr2, "\n");
printf("EXPECTED FALSE2: "); print_reg_state(&fe2, "\n");
printf("ACTUAL TRUE1: "); print_reg_state(&tr1, "\n");
printf("EXPECTED TRUE1: "); print_reg_state(&te1, "\n");
printf("ACTUAL TRUE2: "); print_reg_state(&tr2, "\n");
printf("EXPECTED TRUE2: "); print_reg_state(&te2, "\n");