From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sat, 23 Feb 2019 12:57:26 +0000 (+0000)
Subject: trying different testing for 2nd round
X-Git-Tag: ls180-24jan2020~1831
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6fed7002a094e27c85b2e74da887184d2bf08a0b;p=ieee754fpu.git

trying different testing for 2nd round
---

diff --git a/src/add/test_dual.py b/src/add/test_dual.py
index 410aba91..55facb12 100644
--- a/src/add/test_dual.py
+++ b/src/add/test_dual.py
@@ -33,10 +33,11 @@ def get_case(dut, a, b, c):
 
         out_z = yield dut.z.v
 
+        yield dut.z.ack.eq(1)
         yield dut.a.stb.eq(0)
         yield dut.b.stb.eq(0)
         yield dut.c.stb.eq(0)
-        yield dut.z.ack.eq(1)
+        yield
         yield
         yield dut.z.ack.eq(0)
         yield
@@ -47,7 +48,7 @@ def get_case(dut, a, b, c):
 
 def check_case(dut, a, b, c, z):
     out_z = yield from get_case(dut, a, b, c)
-    assert out_z == z, "Output z 0x%x not equal to expected 0x%x" % (out_z, z)
+    assert out_z == z, "Output z 0x%x != 0x%x" % (out_z, z)
 
 def testbench(dut):
     yield from check_case(dut, 0, 0, 0, 0)