Fix emoji output

crytic · Feb 18, 2023 · 043f8e8 · 043f8e8
1 parent fbce51e
commit 043f8e8
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/package.yaml b/package.yaml
@@ -14,6 +14,7 @@ dependencies:
   - base16-bytestring
   - binary
   - bytestring
+  - code-page
   - containers
   - data-bword
   - data-dword
@@ -42,6 +43,7 @@ dependencies:
   - unordered-containers
   - vector
   - vector-instances
+  - with-utf8
   - word-wrap
   - yaml
 

diff --git a/src/Main.hs b/src/Main.hs
@@ -14,11 +14,13 @@ import Data.Set qualified as Set
 import Data.Text (Text)
 import Data.Time.Clock.System (getSystemTime, systemSeconds)
 import Data.Version (showVersion)
+import Main.Utf8 (withUtf8)
 import Options.Applicative
 import Paths_echidna (version)
 import System.Exit (exitWith, exitSuccess, ExitCode(..))
 import System.FilePath ((</>))
 import System.IO (hPutStrLn, stderr)
+import System.IO.CodePage (withCP65001)
 
 import EVM.Dapp (dappInfo)
 import EVM.Solidity (SolcContract(..))
@@ -37,7 +39,7 @@ import Echidna.Output.Source
 import Echidna.Output.Corpus
 
 main :: IO ()
-main = do
+main = withUtf8 $ withCP65001 $ do
   opts@Options{..} <- execParser optsParser
   g <- getRandomR (0, maxBound)
   EConfigWithUsage loadedCfg ks _ <-