From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Wed, 27 May 2020 19:26:32 +0000 (+0100)
Subject: do not use range(0, x) - just range(x)
X-Git-Tag: div_pipeline~779
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7459cb0089226ef7d66609bb19f0e0f67916d8f6;p=soc.git

do not use range(0, x) - just range(x)
---

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)