x86-cli: Add detail to a TODO

GaloisInc · Aug 20, 2024 · 186c35d · 186c35d
1 parent 141f9c1
commit 186c35d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/macaw-x86-cli/src/Data/Macaw/X86/Symbolic/CLI.hs b/macaw-x86-cli/src/Data/Macaw/X86/Symbolic/CLI.hs
@@ -71,7 +71,8 @@ withX86Hooks k = do
             LittleEndian
             DMS.ConcreteMutable
             elfMem
-        -- TOOD?
+        -- TODO: We should write this variable, but can't here. See Macaw#423
+        -- and Crucible#1240 for details.
         -- C.writeGlobal mvar initMem
         let mmConf = DMS.memModelConfig bak ptrTable
         pure (DMS.macawExtensions eFn mvar mmConf)