- #corner cases
- from itertools import permutations
- stimulus_a = [i[0] for i in permutations([0x80000000, 0x00000000, 0x7f800000, 0xff800000, 0x7fc00000, 0xffc00000], 2)]
- stimulus_b = [i[1] for i in permutations([0x80000000, 0x00000000, 0x7f800000, 0xff800000, 0x7fc00000, 0xffc00000], 2)]
- yield from run_test(dut, stimulus_a, stimulus_b, truediv)
- count += len(stimulus_a)
- print (count, "vectors passed")
-
- yield from run_edge_cases(dut, count, truediv)
+ yield from run_corner_cases(dut, count, truediv, get_case)
+ yield from run_edge_cases(dut, count, truediv, get_case)