#regression tests
stimulus_a = [0xbf9b1e94, 0x34082401, 0x5e8ef81, 0x5c75da81, 0x2b017]
stimulus_b = [0xc038ed3a, 0xb328cd45, 0x114f3db, 0x2f642a39, 0xff3807ab]
- yield from run_test(dut, stimulus_a, stimulus_b, truediv)
+ yield from run_test(dut, stimulus_a, stimulus_b, truediv, get_case)
count += len(stimulus_a)
print (count, "vectors passed")
- yield from run_corner_cases(dut, count, truediv)
- 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)
if __name__ == '__main__':