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

Merge pull request #126 from GaloisInc/fix_symbolic_tests

Browse Source 
Small fixes to macaw-symbolic tests for recent changes.
This commit is contained in:
Kevin Quick 2020-04-13 00:40:34 -07:00 committed by GitHub
commit d6de268bbd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1243,7 +1243,7 @@ runCodeBlock sym archFns archEval halloc (initMem,globs) lookupH toMemPred g reg
-- -- ^ Initial register state for the simulation
-- -> CLM.MemImpl sym
-- -- ^ The initial memory state of the simulator
-- -> MS.GlobalMap sym (MC.ArchAddrWidth arch)
-- -> MS.GlobalMap sym MM.Mem (MC.ArchAddrWidth arch)
-- -- ^ A translator of machine code addresses to LLVM pointers
-- -> MS.LookupFunctionHandle sym arch
-- -- ^ A translator for machine code addresses to function handles

4
symbolic/src/Data/Macaw/Symbolic/MemTraceOps.hs
View File

@ -1,3 +1,4 @@
{-# LANGUAGE CPP #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE DataKinds #-}
@ -14,6 +15,9 @@
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE ViewPatterns #-}
#if __GLASGOW_HASKELL__ >= 805
{-# LANGUAGE NoStarIsType #-}
#endif
{-# OPTIONS_GHC -fno-warn-orphans #-}
module Data.Macaw.Symbolic.MemTraceOps where