echidna fails to run outside the repository folder

[crytic]

echidna fails to run outside the repository folder

[ggrieco-tob]

I cannot reproduce exactly your error:

$ solc --version
solc, the solidity compiler commandline interface
Version: 0.4.21+commit.dfe3193c.Linux.g++
$ echidna-test contracts/testme.sol 
━━━ contracts/testme.sol ━━━
  ✗ "echidna_alwaystrue" failed after 1 test and 1 shrink.
  
      │ Call sequence: lower(true);
  
  ✗ 1 failed.

[ggrieco-tob]

I can confirm that echidna fails to run properly outside the repository folder. Sorry for the long delay. It seems to be a known bug in hedgehog.

[snd]

i get the same error with solc 0.4.18

$ solc --version
solc, the solidity compiler commandline interface
Version: 0.4.18+commit.9cf6e910.Darwin.appleclang
$ echidna-test contracts/testme.sol 
━━━ contracts/testme.sol ━━━
  ○ 0/1 complete (running)
  ↯ "echidna_alwaystrue" failed after 1 test and 1 shrink (shrinking)
echidna-test: lib/Echidna/Exec.hs: openFile: does not exist (No such file or directory)

OSX 10.11.6

built from 159b595

installed as described there: #12 (comment)

[snd]

the above was in a directory different from the echidna directory.

when i copy the contract into the echidna directory (where i cloned and installed with stack) it works:

$ echidna-test testme.sol 
━━━ testme.sol ━━━
  ✗ "echidna_alwaystrue" failed after 3 tests.
  
      │ Call sequence: lower(true);
  
  ✗ 1 failed.

it should work in any directory

[makoto]

Yeah, I created the test sol file on a brand new project I created using truffle.

[ggrieco-tob]

Please test this possible fix: #29

[ggrieco-tob]

Should be fixed in 75afb17.

[thumphries]

This was also fixed upstream in Hedgehog recently, sorry about that! Is part of the 0.6 release. hedgehogqa/haskell-hedgehog#184