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 = [0x3ff00000000000c5, 0xff80000000000000]
stimulus_b = [0xbd28a404211fb72b, 0x7f80000000000000]
- yield from run_test(dut, stimulus_a, stimulus_b, add)
+ yield from run_fpunit(dut, stimulus_a, stimulus_b, add)
count += len(stimulus_a)
print (count, "vectors passed")