From: Michael Nolan <mtnolan2640@gmail.com>
Date: Wed, 20 May 2020 15:12:14 +0000 (-0400)
Subject: Delete assume left over from testing
X-Git-Tag: div_pipeline~1032
X-Git-Url: https://git.libre-soc.org/?p=soc.git;a=commitdiff_plain;h=93480efceda81356e1c3864246d35b52408e964c

Delete assume left over from testing
---

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):