From 7459cb0089226ef7d66609bb19f0e0f67916d8f6 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Wed, 27 May 2020 20:26:32 +0100 Subject: [PATCH] do not use range(0, x) - just range(x) --- src/soc/regfile/formal/proof_regfile.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/soc/regfile/formal/proof_regfile.py b/src/soc/regfile/formal/proof_regfile.py index 4e9ed265..38f18479 100644 --- a/src/soc/regfile/formal/proof_regfile.py +++ b/src/soc/regfile/formal/proof_regfile.py @@ -31,7 +31,7 @@ class Driver(Register): comb += reg.eq(AnyConst(8)) - for i in range(0,len(_rdports)): + for i in range(len(_rdports)): with m.If(_rdports[i].ren & writethru): with m.If(_wrports[i].wen): comb += Assert(_rdports[i].data_o == _wrports[i].data_i) -- 2.30.2