From 93480efceda81356e1c3864246d35b52408e964c Mon Sep 17 00:00:00 2001 From: Michael Nolan Date: Wed, 20 May 2020 11:12:14 -0400 Subject: [PATCH] Delete assume left over from testing --- src/soc/fu/logical/formal/proof_main_stage.py | 1 - 1 file changed, 1 deletion(-) diff --git a/src/soc/fu/logical/formal/proof_main_stage.py b/src/soc/fu/logical/formal/proof_main_stage.py index 7e69df92..996099f9 100644 --- a/src/soc/fu/logical/formal/proof_main_stage.py +++ b/src/soc/fu/logical/formal/proof_main_stage.py @@ -69,7 +69,6 @@ class Driver(Elaboratable): comb += a_signed.eq(a) comb += a_signed_32.eq(a[0:32]) - comb += Assume(rec.insn_type == InternalOp.OP_PRTY) # main assertion of arithmetic operations with m.Switch(rec.insn_type): with m.Case(InternalOp.OP_AND): -- 2.30.2