Echidna command-line fails on Debian about echidna HOT 7 CLOSED

Unfortunately I no longer have the machine where it occurred. I'll try to reproduce it on another host and let you know.

from echidna.

I can reproduce this. It's a quick fix regarding locales. I'll put together a PR for the Dockerfile and some doc updates, since it isn't a problem with the application code.

from echidna.

This looks like some kind of a locale issue that's causing echidna to choke when trying to print UTF-8. Can you try with the below code for Main.hs?

{-# LANGUAGE LambdaCase #-}

module Main where

import GHC.IO.Encoding (setLocaleEncoding, utf8)
import Hedgehog hiding (checkParallel)
import Hedgehog.Internal.Property (GroupName(..), PropertyName(..))
import System.Environment         (getArgs)

import Echidna.Exec
import Echidna.Solidity

main :: IO ()
main = setLocaleEncoding utf8 >> getArgs >>= \case
  []  -> putStrLn "Please provide a solidity file to analyze"
  f:_ -> do
    (v,a,ts) <- loadSolidity f
    let prop t = (PropertyName $ show t, ePropertySeq v a (`checkETest` t) 10)
    _ <- checkParallel . Group (GroupName f) $ map prop ts
    return ()

from echidna.

No problem for me on Debian Stretch.

from echidna.

I'm gonna close for now as I'm unable to reproduce. If this happens again, try the code I linked and lmk how it works, I'll modify the actual codebase based on that.

from echidna.

Fixed in #20

from echidna.

I have this same problem with the following contract:

pragma solidity 0.4.16;

contract EchidnaBT {
    bool public val = true;

    function set(bool _val) public {
        val = _val;
    }

    function echidna_test() public returns(bool) {
	    return val;
    }
}

with latest echidna docker container, on Ubuntu 18.04. Any suggestions?

Linux oleksii-VirtualBox 4.15.0-43-generic #46-Ubuntu SMP Thu Dec 6 14:45:28 UTC 2018 x86_64 x86_64 x86_64 GNU/Linux

from echidna.