Merge pull request #1380 from crytic/fix-1225

Quote paths on logging output

Author: elopez

lib/Echidna/Solidity.hs

@@ -88,7 +88,7 @@ compileContracts solConf fp = do
       stderr <- if solConf.quiet
                    then UseHandle <$> openFile nullFilePath WriteMode
                    else pure Inherit
-      (ec, out, err) <- measureIO solConf.quiet ("Compiling " <> x) $ do
+      (ec, out, err) <- measureIO solConf.quiet ("Compiling `" <> x <> "`") $ do
         readCreateProcessWithExitCode
           (proc path $ (solConf.cryticArgs ++ solargs) |> x) {std_err = stderr} ""
       case ec of

lib/Echidna/SourceAnalysis/Slither.hs

@@ -161,7 +161,7 @@ runSlither fp solConf = if solConf.disableSlither
     Just path -> do
       let args = ["--ignore-compile", "--print", "echidna", "--json", "-"]
                  ++ solConf.cryticArgs ++ [fp]
-      (exitCode, out, err) <- measureIO solConf.quiet ("Running slither on " <> fp) $
+      (exitCode, out, err) <- measureIO solConf.quiet ("Running slither on `" <> fp <> "`") $
         readCreateProcessWithExitCode (proc path args) {std_err = Inherit} ""
       case exitCode of
         ExitSuccess ->