dump: Add note that symbols are expected to be UTF-8

GaloisInc · Nov 12, 2024 · 1c777a0 · 1c777a0
1 parent fa69fcf
commit 1c777a0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/macaw-dump/src/Data/Macaw/Dump/Discover.hs b/macaw-dump/src/Data/Macaw/Dump/Discover.hs
@@ -132,6 +132,7 @@ displayCfgs path discState archVals printCrucible = do
 data DiscoverConfig = DiscoverConfig
   { -- Arguments
     discBinPath :: FilePath
+    -- | Symbol names (expected but not required to be UTF-8)
   , discSymbols :: [BS.ByteString]
     -- Options
   , discPrintCrucible :: Bool