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

delete some debugging print statements

Browse Source
This commit is contained in:
Daniel Wagner 2018-04-24 17:07:07 -04:00
parent 588e92cc01
commit 6453486013
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
base/src/Data/Macaw/Discovery.hs
View File

@ -736,10 +736,7 @@ parseFetchAndExecute ctx lbl_idx stmts regs s' = do
Right shortOffset
| Just offset <- extendDyn repr ext shortOffset
, let tgt_addr = relativeSegmentAddr base & incAddr offset
, traceShow ("base, read_addr, *read_addr", base, read_addr, offset) True
, traceShow ("jump target", tgt_addr, isJust (asSegmentOff mem tgt_addr)) True
, Just tgt_mseg <- asSegmentOff mem tgt_addr
, traceShow (Perm.isExecutable (segmentFlags (msegSegment tgt_mseg))) True
, Perm.isExecutable (segmentFlags (msegSegment tgt_mseg))
-> Just tgt_mseg
_ -> Nothing