x86-cli: Add detail to a TODO

2024-11-22 05:45:51 +03:00 · 2024-08-20 16:57:39 -04:00 · 2024-08-20 16:57:39 -04:00 · 186c35da7c
commit 186c35da7c
parent 141f9c113d
1 changed files with 2 additions and 1 deletions
--- 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)