From dd1b972660a190bdbe7ae72bd05b1fb1dd7b83ec Mon Sep 17 00:00:00 2001
From: Bo Wun Cheng <bwcheng@stanford.edu>
Date: Mon, 1 Apr 2024 11:48:23 -0700
Subject: [PATCH] removed environment var that skip the formal check for
 floating point operation

---
 sam/onyx/parse_dot.py | 2 --
 1 file changed, 2 deletions(-)

diff --git a/sam/onyx/parse_dot.py b/sam/onyx/parse_dot.py
index 7e40fa5f..76015ff3 100644
--- a/sam/onyx/parse_dot.py
+++ b/sam/onyx/parse_dot.py
@@ -261,8 +261,6 @@ def map_alu(self):
             metamapper_env = os.environ.copy()
             metamapper_env["PIPELINED"] = "0"
             # no need to peroform branch delay matching because we have rv interface in sparse
-            metamapper_env["PROVE"] = "0"
-            # FIXME: disable for now until verification of floating point computation is fixed
             metamapper_env["MATCH_BRANCH_DELAY"] = "0"
             subprocess.run(["python", "/aha/MetaMapper/scripts/map_app.py", self.collat_dir + "/alu_coreir_spec.json"],
                            env=metamapper_env)