From cb6cad612a197847f1e253fc0727cfff25f5aaad Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Wed, 5 Feb 2020 16:54:16 +0000 Subject: [PATCH] whitespace --- src/ieee754/part_cmp/formal/proof_equal.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/ieee754/part_cmp/formal/proof_equal.py b/src/ieee754/part_cmp/formal/proof_equal.py index 42773118..52c688b5 100644 --- a/src/ieee754/part_cmp/formal/proof_equal.py +++ b/src/ieee754/part_cmp/formal/proof_equal.py @@ -43,7 +43,6 @@ class EqualsDriver(Elaboratable): points[i*4+4] = gates[i] out = Signal(mwidth) - comb += [a.eq(AnyConst(width)), b.eq(AnyConst(width)), gates.eq(AnyConst(mwidth-1))] @@ -89,7 +88,7 @@ class EqualsDriver(Elaboratable): with m.Case(0b111): for i in range(mwidth-1): comb += Assert(out[i] == (a_intervals[i] == b_intervals[i])) - + comb += [dut.a.eq(a), @@ -104,4 +103,4 @@ class PartitionedEqTestCase(FHDLTestCase): if __name__ == "__main__": unittest.main() - + -- 2.30.2