add regression test on div

diff --git a/src/add/test_div.py b/src/add/test_div.py
index d6baa0242794fd84499d00dfe9b73f36f3c4ff4a..61882e585466438dbf495f30e5fa257352f03892 100644 (file)
--- a/src/add/test_div.py
+++ b/src/add/test_div.py
@@ -15,6 +15,7 @@ from unit_test_single import (get_mantissa, get_exponent, get_sign, is_nan,
 
 
 def testbench(dut):
+    yield from check_case(dut, 0x2b017, 0xff3807ab, 0x80000000)
     yield from check_case(dut, 0x40000000, 0x3F800000, 0x40000000)
     yield from check_case(dut, 0x3F800000, 0x40000000, 0x3F000000)
     yield from check_case(dut, 0x3F800000, 0x40400000, 0x3EAAAAAB)