GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2025-01-04 04:12:02 +03:00
Code Issues Projects Releases Wiki Activity

Improve failure message.

Browse Source
This commit is contained in:
Iavor Diatchki 2018-03-01 14:36:24 -08:00
parent da2a29b595
commit 9094d1bd91
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -74,7 +74,11 @@ doGetGlobal ::
)
doGetGlobal st mvar globs addr =
case Map.lookup (M.addrBase addr) globs of
Nothing -> fail ("[doGetGlobal] Undefined global region: " ++ show addr)
Nothing -> fail $ unlines
[ "[doGetGlobal] Undefined global region:"
, "*** Region: " ++ show (M.addrBase addr)
, "*** Address: " ++ show addr
]
Just region ->
do mem <- getMem st mvar
let sym = stateSymInterface st