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

[refinement] Remove traceM statement.

Browse Source
This commit is contained in:
Andrei Stefanescu 2019-02-05 21:31:13 -08:00
parent 3aae34297f
commit 72c54dcf15
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
refinement/src/Data/Macaw/Refinement/UnknownTransfer.hs
View File

@ -349,7 +349,6 @@ withDefaultRefinementContext loaded_binary k = do
LLVM.LittleEndian
MSM.ConcreteMutable
(MBL.memoryImage loaded_binary)
traceM $ "### mem alloc count: " ++ show (LLVM.memAllocCount mem)
MS.withArchEval arch_vals sym $ \arch_eval_fns -> do
let ext_impl = MS.macawExtensions
arch_eval_fns