from unit_test_double import (get_mantissa, get_exponent, get_sign, is_nan,
is_inf, is_pos_inf, is_neg_inf,
- match, get_case, check_case, run_test,
+ match, get_case, check_case, run_fpunit,
run_edge_cases, run_corner_cases)
#regression tests
stimulus_a = [0xff80000000000000, 0x3351099a0528e138]
stimulus_b = [0x7f80000000000000, 0xd651a9a9986af2b5]
- yield from run_test(dut, stimulus_a, stimulus_b, mul)
+ yield from run_fpunit(dut, stimulus_a, stimulus_b, mul)
count += len(stimulus_a)
print (count, "vectors passed")