Less noise when debugging

ethereum · Jan 13, 2025 · 7a80814 · 7a80814
1 parent d9fe512
commit 7a80814
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/EVM/Solvers.hs b/src/EVM/Solvers.hs
@@ -131,7 +131,6 @@ withSolvers solver count threads timeout cont = do
             when (conf.debug) $ putStrLn $ "   Cex found via fuzzing:" <> (show fuzzResult)
             writeChan r (Sat $ fromJust fuzzResult)
           else if not conf.onlyCexFuzz then do
-            when (conf.debug) $ putStrLn "   Fuzzing failed to find a Cex"
             -- reset solver and send all lines of provided script
             out <- sendScript inst (SMT2 ("(reset)" : cmds) mempty ps)
             case out of