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

fix haddocks

Browse Source
This commit is contained in:
Daniel Matichuk 2020-10-06 11:20:59 -07:00
parent 3765c5eaab
commit a595bdc6a4
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1257,8 +1257,10 @@ runCodeBlock sym archFns archEval halloc (initMem,globs) lookupH toMemPred g reg
-- -> CC.CFG (MS.MacawExt arch) blocks (MS.MacawFunctionArgs arch) (MS.MacawFunctionResult arch)
-- -- ^ The CFG to simulate
-- -> IO ()
-- useCFG hdlAlloc sym MS.ArchVals { MS.withArchEval = withArchEval } initialRegs initialMem globalMap lfh cfg = do
-- let ?recordLLVMAnnotation = \_ _ -> pure ()
-- useCFG hdlAlloc sym archVals initialRegs initialMem globalMap lfh cfg = do
-- let
-- ?recordLLVMAnnotation = \_ _ -> pure ()
-- withArchEval = MS.withArchEval archVals
-- withArchEval sym $ \archEvalFns -> do
-- let rep = CFH.handleReturnType (CC.cfgHandle cfg)
-- memModelVar <- CLM.mkMemVar hdlAlloc