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

Add some extra tracing to 'identifyFunction'

Browse Source
This commit is contained in:
Tristan Ravitch 2017-11-07 17:49:36 -08:00
parent 65c940e334
commit 48ba00870d
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
macaw-ppc/src/Data/Macaw/PPC/Identify.hs
View File

@ -23,7 +23,8 @@ identifyCall :: MC.ArchConstraints ppc
-> MC.RegState (MC.ArchReg ppc) (MC.Value ppc ids)
-> Maybe (Seq.Seq (MC.Stmt ppc ids), MC.ArchSegmentOff ppc)
identifyCall _ mem stmts rs = trace ("identifyCall:\n\n" ++
intercalate "\n" (map show stmts))
intercalate "\n" (map show stmts)) $
trace ("reg state = " ++ show rs) $
Nothing
identifyReturn :: (PPCArchConstraints ppc)