re-enable commented-out tests
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sat, 16 Feb 2019 08:36:41 +0000 (08:36 +0000)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sat, 16 Feb 2019 08:36:41 +0000 (08:36 +0000)
src/add/test_add.py

index fbf0fb07195b80b6a8daf96ee4d4d9842762bc28..a7d7c3d309acd1292fb1acc10776a37d782e5aa2 100644 (file)
@@ -46,16 +46,16 @@ def check_case(dut, a, b, z):
     assert out_z == z, "Output z 0x%x not equal to expected 0x%x" % (out_z, z)
 
 def testbench(dut):
-    #yield from check_case(dut, 0, 0, 0)
-    #yield from check_case(dut, 0x3F800000, 0x40000000, 0x40400000)
-    #yield from check_case(dut, 0x40000000, 0x3F800000, 0x40400000)
-    #yield from check_case(dut, 0x447A0000, 0x4488B000, 0x4502D800)
-    #yield from check_case(dut, 0x463B800A, 0x42BA8A3D, 0x463CF51E)
-    #yield from check_case(dut, 0x42BA8A3D, 0x463B800A, 0x463CF51E)
-    #yield from check_case(dut, 0x463B800A, 0xC2BA8A3D, 0x463A0AF6)
-    #yield from check_case(dut, 0xC2BA8A3D, 0x463B800A, 0x463A0AF6)
-    #yield from check_case(dut, 0xC63B800A, 0x42BA8A3D, 0xC63A0AF6)
-    #yield from check_case(dut, 0x42BA8A3D, 0xC63B800A, 0xC63A0AF6)
+    yield from check_case(dut, 0, 0, 0)
+    yield from check_case(dut, 0x3F800000, 0x40000000, 0x40400000)
+    yield from check_case(dut, 0x40000000, 0x3F800000, 0x40400000)
+    yield from check_case(dut, 0x447A0000, 0x4488B000, 0x4502D800)
+    yield from check_case(dut, 0x463B800A, 0x42BA8A3D, 0x463CF51E)
+    yield from check_case(dut, 0x42BA8A3D, 0x463B800A, 0x463CF51E)
+    yield from check_case(dut, 0x463B800A, 0xC2BA8A3D, 0x463A0AF6)
+    yield from check_case(dut, 0xC2BA8A3D, 0x463B800A, 0x463A0AF6)
+    yield from check_case(dut, 0xC63B800A, 0x42BA8A3D, 0xC63A0AF6)
+    yield from check_case(dut, 0x42BA8A3D, 0xC63B800A, 0xC63A0AF6)
     yield from check_case(dut, 0xFFFFFFFF, 0xC63B800A, 0xFFC00000)
     yield from check_case(dut, 0x7F800000, 0x00000000, 0x7F800000)
     yield from check_case(dut, 0x00000000, 0x7F800000, 0x7F800000)