From d887377865fc1463adcb6a1b26a78677fac7413b Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Wed, 22 Jul 2020 15:53:00 +0100 Subject: [PATCH] whoops typo, 63-start not 3-start (doh) --- src/soc/fu/trap/formal/proof_main_stage.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/soc/fu/trap/formal/proof_main_stage.py b/src/soc/fu/trap/formal/proof_main_stage.py index 6f24bd19..eb9dce92 100644 --- a/src/soc/fu/trap/formal/proof_main_stage.py +++ b/src/soc/fu/trap/formal/proof_main_stage.py @@ -33,7 +33,7 @@ def field(r, start, end=None): the start and end bits use IBM conventions. start < end. """ if end is None: - return r[3-start] + return r[63-start] return r[63-end:64-start] -- 2.30.2