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

[arm] Update tests for new memoryForElf returns.

Browse Source
This commit is contained in:
Kevin Quick 2018-08-10 15:47:56 -07:00
parent 454c219b27
commit 75aee53b79
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -62,7 +62,7 @@ withMemory _ e k =
}
in case MM.memoryForElf options e of
Left err -> C.throwM (MemoryLoadError err)
Right (_sim, mem, _) -> k mem
Right (mem, _sym, _warn, _err) -> k mem
data ElfException = MemoryLoadError String