From f4a6c5afb3ef0e801563206e219dc9f0b8b81e70 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Tue, 28 Jan 2020 21:32:40 +0000 Subject: [PATCH] line-up, whitespace --- src/ieee754/fpmax/formal/proof_fmax_mod.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/ieee754/fpmax/formal/proof_fmax_mod.py b/src/ieee754/fpmax/formal/proof_fmax_mod.py index b16b5e0b..abaa2d86 100644 --- a/src/ieee754/fpmax/formal/proof_fmax_mod.py +++ b/src/ieee754/fpmax/formal/proof_fmax_mod.py @@ -41,7 +41,9 @@ class FPMAXDriver(Elaboratable): b1.v.eq(self.b), z1.v.eq(self.z)] - m.d.comb += Assert((z1.v == a1.v) | (z1.v == b1.v) | (z1.v == a1.fp.nan2(0))) + m.d.comb += Assert((z1.v == a1.v) | \ + (z1.v == b1.v) | \ + (z1.v == a1.fp.nan2(0))) with m.If(a1.is_nan & b1.is_nan): m.d.comb += Assert(z1.is_nan) -- 2.30.2