giving up for today

GaloisInc · Sep 26, 2023 · 3ce1bbb · 3ce1bbb
1 parent 982a5f6
commit 3ce1bbb
Showing 1 changed file with 8 additions and 7 deletions.
diff --git a/reopt/Main_reopt.hs b/reopt/Main_reopt.hs
@@ -871,13 +871,14 @@ performReopt args elfPath = do
     --         (traceTypeUnification args)
     --         (traceConstraintOrigins args)
 
-    _ <- trace "About to re-run discovery" (pure ())
-    let newAddr = fromMaybe (error "sad") $ Macaw.resolveRegionOff (Macaw.memory discState) 1 0x1149
-    let discState' = Macaw.markAddrAsFunction Macaw.UserRequest newAddr discState
-    rerunDiscState <-
-      reoptRunDiscovery (getAddrSymMap symAddrMap) $
-        Macaw.incCompleteDiscovery discState' (roDiscoveryOptions rOpts)
-    _ <- trace "Done re-running discovery" (pure ())
+    -- _ <- trace "About to re-run discovery" (pure ())
+    -- let newAddr = fromMaybe (error "sad") $ Macaw.resolveRegionOff (Macaw.memory discState) 1 0x1149
+    -- let discState' = Macaw.markAddrAsFunction Macaw.UserRequest newAddr discState
+    let rerunDiscState = discState
+    -- rerunDiscState <-
+    --   reoptRunDiscovery (getAddrSymMap symAddrMap) $
+    --     Macaw.incCompleteDiscovery discState' (roDiscoveryOptions rOpts)
+    -- _ <- trace "Done re-running discovery" (pure ())
 
     recoverX86Output <- doRecoverX86 funPrefix sysp symAddrMap debugTypeMap rerunDiscState
     let recMod = recoveredModule recoverX86Output