GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-26 09:22:20 +03:00
Code Issues Projects Releases Wiki Activity

more haddock fixes

Browse Source
This commit is contained in:
Daniel Matichuk 2020-10-06 16:52:21 -07:00
parent aab0010d0a
commit 11ceebb592
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
symbolic/src/Data/Macaw/Symbolic.hs
View File

@ -1192,7 +1192,8 @@ runCodeBlock sym archFns archEval halloc (initMem,globs) lookupH toMemPred g reg
-- translate dfi useCFG =
-- case MS.archVals (Proxy @arch) of
-- Nothing -> fail "Architecture does not support symbolic reasoning"
-- Just MS.ArchVals { MS.archFunctions = archFns } -> do
-- Just avals -> do
-- let archFns = MS.archFunctions avals
-- hdlAlloc <- CFH.newHandleAllocator
-- let nameText = TE.decodeUtf8With TEE.lenientDecode (MD.discoveredFunName dfi)
-- let name = WFN.functionNameFromText nameText
@ -1258,7 +1259,7 @@ runCodeBlock sym archFns archEval halloc (initMem,globs) lookupH toMemPred g reg
-- -- ^ The CFG to simulate
-- -> IO ()
-- useCFG hdlAlloc sym avals initialRegs initialMem globalMap lfh cfg =
-- let ?recordLLVMAnnotation = \_ _ -> pure ()
-- let ?recordLLVMAnnotation = \_ _ -> (pure () :: IO ())
-- in MS.withArchEval avals sym $ \archEvalFns -> do
-- let rep = CFH.handleReturnType (CC.cfgHandle cfg)
-- memModelVar <- CLM.mkMemVar hdlAlloc

2
symbolic/src/Data/Macaw/Symbolic/Memory.hs
View File

@ -81,7 +81,7 @@
-- -- ^ The CFG to simulate
-- -> IO ()
-- useCFG hdlAlloc sym avals initialRegs mem lfh cfg =
-- let ?recordLLVMAnnotation = \_ _ -> pure ()
-- let ?recordLLVMAnnotation = \_ _ -> (pure () :: IO ())
-- in MS.withArchEval avals sym $ \archEvalFns -> do
-- let rep = CFH.handleReturnType (CC.cfgHandle cfg)
-- memModelVar <- CLM.mkMemVar hdlAlloc