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

arm: Update the tests to work with the latest macaw

Browse Source
This commit is contained in:
Tristan Ravitch 2018-04-09 15:07:17 -07:00
parent 7e129f1ce1
commit 1f10c1d36b
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
macaw-arm/tests/Shared.hs
View File

@ -59,11 +59,10 @@ withMemory :: forall w m a
withMemory _ e k =
let options = MM.LoadOptions { MM.loadRegionIndex = Just 0
, MM.loadRegionBaseOffset = 0
, MM.loadStyleOverride = Just MM.LoadBySegment
, MM.includeBSS = False}
}
in case MM.memoryForElf options e of
Left err -> C.throwM (MemoryLoadError err)
Right (_sim, mem) -> k mem
Right (_sim, mem, _) -> k mem
data ElfException = MemoryLoadError String