removed environment var that skip the formal check for floating point…

… operation
weiya711 · Apr 1, 2024 · dd1b972 · dd1b972
1 parent 9663559
commit dd1b972
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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)