hevm: XXXX: openBinaryFile: does not exist (No such file or directory)

[nicocesar]

After upgrading solc by doing

nix-env -f https://github.com/dapphub/dapptools/archive/master.tar.gz -iA solc-static-versions.solc_0_8_13

seth call stopped working with the following error:

hevm: /contracts/LDRToken.sol: openBinaryFile: does not exist (No such file or directory)

But I can see that the temporary directory has the contract:

$ cd seth.debug.DMza
$ find
.
./contracts
./contracts/LDRToken.sol
./standard.json
./@openzeppelin
./@openzeppelin/contracts
./@openzeppelin/contracts/utils
./@openzeppelin/contracts/utils/introspection
./@openzeppelin/contracts/utils/introspection/IERC165.sol
./@openzeppelin/contracts/utils/introspection/ERC165.sol
./@openzeppelin/contracts/utils/cryptography
./@openzeppelin/contracts/utils/cryptography/ECDSA.sol
./@openzeppelin/contracts/utils/cryptography/SignatureChecker.sol
./@openzeppelin/contracts/utils/Address.sol
./@openzeppelin/contracts/utils/Strings.sol
./@openzeppelin/contracts/utils/Context.sol
./@openzeppelin/contracts/interfaces
./@openzeppelin/contracts/interfaces/IERC1271.sol
./@openzeppelin/contracts/access
./@openzeppelin/contracts/access/IAccessControl.sol
./@openzeppelin/contracts/access/AccessControl.sol
./@openzeppelin/contracts/token
./@openzeppelin/contracts/token/ERC1155
./@openzeppelin/contracts/token/ERC1155/extensions
./@openzeppelin/contracts/token/ERC1155/extensions/IERC1155MetadataURI.sol
./@openzeppelin/contracts/token/ERC1155/IERC1155.sol
./@openzeppelin/contracts/token/ERC1155/IERC1155Receiver.sol
./@openzeppelin/contracts/token/ERC1155/ERC1155.sol
./@openzeppelin/contracts/security
./@openzeppelin/contracts/security/ReentrancyGuard.sol
./@openzeppelin/contracts/security/Pausable.sol

I think the problem is that standard.json has paths that are not referenced from the correct working directory

seth.debug.DMza$ head standard.json

{
  "contracts": {
    "/contracts/LDRToken.sol": {
      "LDRToken": {
        "abi": [
    ...

I noticed that hevm has --json-file parameter but also --dapp-root . In my experiments this is not set, maybe it should be.

Anyways, I added -x parameter to several of the nix wrappers and re-execute the command, I hope all this information helps to solve the problem.

$ seth call  0xfd43d1da000558473822302e1d44d81da2e4cc0d 0xa3cba09a0000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000000011c000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000041c8ed0f84d50b9ff29fac24cf364f4a3eff0c3c16bf329270aec884c008dfb39b1d3348aa9248e8c69db15647d1c217123e15443a1c749059397016f2e67dcd021c00000000000000000000000000000000000000000000000000000000000000 --debug
+ export PATH=/nix/store/2243wkkr3gfmbis4hhirck2kp001xp7s-bc-1.07.1/bin:/nix/store/a4v1akahda85rl9gfphb07zzw79z8pb1-coreutils-8.32/bin:/nix/store/g8w72aanshmw5gxi02ril1qlb427rjzy-curl-7.76.1-bin/bin:/nix/store/yd814n9d2yn15q2h36ganscijq1vvgix-ethsign-0.17.1/bin:/nix/store/bm33rsl98p27wpx1ad4r2h78lnmzndz7-git-2.31.1/bin:/nix/store/g34ldykl1cal5b9ir3xinnq70m52fcnq-gnused-4.8/bin:/nix/store/f1aq2j7v51w4i7z7h05lij3ri7k4mw46-nix-2.3.12/bin:/nix/store/bjc2qj4ln6b23s6sszs0pdzf5ngbc7c8-jq-1.6-bin/bin:/nix/store/iaarwd2xdrcgypnkngvbcs8y2mg2bkgb-hevm-0.49.0/bin:/nix/store/wi1s2nf3gvwdzhm7hz1smr5xn02mj2fw-jays-1.20171121/bin:/nix/store/cdalbhzm3z4gz07wyg89maprdbjc4yah-nodejs-14.17.0/bin:/nix/store/59f0zqdnb0vmj1bqadxkrsvxc454fmm2-tre-0.8.0/bin:/nix/store/07j6d0lr6p1gjxi2qhf6wn88nl81x5jj-perl-5.32.1/bin:/nix/store/7b6wpnj9i7b6crz6l4hfn9jb04rv946a-solc/bin:/nix/store/7n3yzh9wza4bdqc04v01xddnfhkrwk2a-gnugrep-3.6/bin:/home/nico/.nix-profile/bin:/home/nico/go/bin:/home/nico/.local/bin:/home/nico/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin:/snap/bin
+ PATH=/nix/store/2243wkkr3gfmbis4hhirck2kp001xp7s-bc-1.07.1/bin:/nix/store/a4v1akahda85rl9gfphb07zzw79z8pb1-coreutils-8.32/bin:/nix/store/g8w72aanshmw5gxi02ril1qlb427rjzy-curl-7.76.1-bin/bin:/nix/store/yd814n9d2yn15q2h36ganscijq1vvgix-ethsign-0.17.1/bin:/nix/store/bm33rsl98p27wpx1ad4r2h78lnmzndz7-git-2.31.1/bin:/nix/store/g34ldykl1cal5b9ir3xinnq70m52fcnq-gnused-4.8/bin:/nix/store/f1aq2j7v51w4i7z7h05lij3ri7k4mw46-nix-2.3.12/bin:/nix/store/bjc2qj4ln6b23s6sszs0pdzf5ngbc7c8-jq-1.6-bin/bin:/nix/store/iaarwd2xdrcgypnkngvbcs8y2mg2bkgb-hevm-0.49.0/bin:/nix/store/wi1s2nf3gvwdzhm7hz1smr5xn02mj2fw-jays-1.20171121/bin:/nix/store/cdalbhzm3z4gz07wyg89maprdbjc4yah-nodejs-14.17.0/bin:/nix/store/59f0zqdnb0vmj1bqadxkrsvxc454fmm2-tre-0.8.0/bin:/nix/store/07j6d0lr6p1gjxi2qhf6wn88nl81x5jj-perl-5.32.1/bin:/nix/store/7b6wpnj9i7b6crz6l4hfn9jb04rv946a-solc/bin:/nix/store/7n3yzh9wza4bdqc04v01xddnfhkrwk2a-gnugrep-3.6/bin:/home/nico/.nix-profile/bin:/home/nico/go/bin:/home/nico/.local/bin:/home/nico/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin:/snap/bin
+ export DAPPTOOLS=/nix/store/0s0wjq9lzgw3kq52x2ckbr0jvikl15xa-dapptools-src
+ DAPPTOOLS=/nix/store/0s0wjq9lzgw3kq52x2ckbr0jvikl15xa-dapptools-src
+ export LOCALE_ARCHIVE=/nix/store/in621vh2kj0ayqa6qc9pqnjvx6hzj5h5-glibc-locales-2.32-46/lib/locale/locale-archive
+ LOCALE_ARCHIVE=/nix/store/in621vh2kj0ayqa6qc9pqnjvx6hzj5h5-glibc-locales-2.32-46/lib/locale/locale-archive
+ exec -a /home/nico/.nix-profile/bin/seth /nix/store/5sk0yp9x2qfv7chjvfpsir2fm9zrypp0-seth-0.12.0/bin/.seth-wrapped call 0xfd43d1da000558473822302e1d44d81da2e4cc0d 0xa3cba09a0000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000000011c000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000041c8ed0f84d50b9ff29fac24cf364f4a3eff0c3c16bf329270aec884c008dfb39b1d3348aa9248e8c69db15647d1c217123e15443a1c749059397016f2e67dcd021c00000000000000000000000000000000000000000000000000000000000000 --debug
seth-call: info: fetching contract source from etherscan...
+ export LD_LIBRARY_PATH=/nix/store/zi9cn3q9ak0c6xqvy38l0cbi4rbkws3z-z3-4.8.10/lib
+ LD_LIBRARY_PATH=/nix/store/zi9cn3q9ak0c6xqvy38l0cbi4rbkws3z-z3-4.8.10/lib
+ exec -a /nix/store/sbqnchkdyidcxnk3jl7gvdkfj03is5kb-solc-static-0.8.13/bin/solc-0.8.13 /nix/store/sbqnchkdyidcxnk3jl7gvdkfj03is5kb-solc-static-0.8.13/bin/.solc-0.8.13-wrapped --standard-json --allow-paths /home/nico/lab/brink.trade/seth.debug.pVgA
+ export PATH=/nix/store/kxj6cblcsd1qcbbxlmbswwrn89zcmgd6-bash-4.4-p23/bin:/nix/store/a4v1akahda85rl9gfphb07zzw79z8pb1-coreutils-8.32/bin:/nix/store/bm33rsl98p27wpx1ad4r2h78lnmzndz7-git-2.31.1/bin:/nix/store/7b6wpnj9i7b6crz6l4hfn9jb04rv946a-solc/bin:/nix/store/5sk0yp9x2qfv7chjvfpsir2fm9zrypp0-seth-0.12.0/libexec/seth:/nix/store/2243wkkr3gfmbis4hhirck2kp001xp7s-bc-1.07.1/bin:/nix/store/a4v1akahda85rl9gfphb07zzw79z8pb1-coreutils-8.32/bin:/nix/store/g8w72aanshmw5gxi02ril1qlb427rjzy-curl-7.76.1-bin/bin:/nix/store/yd814n9d2yn15q2h36ganscijq1vvgix-ethsign-0.17.1/bin:/nix/store/bm33rsl98p27wpx1ad4r2h78lnmzndz7-git-2.31.1/bin:/nix/store/g34ldykl1cal5b9ir3xinnq70m52fcnq-gnused-4.8/bin:/nix/store/f1aq2j7v51w4i7z7h05lij3ri7k4mw46-nix-2.3.12/bin:/nix/store/bjc2qj4ln6b23s6sszs0pdzf5ngbc7c8-jq-1.6-bin/bin:/nix/store/iaarwd2xdrcgypnkngvbcs8y2mg2bkgb-hevm-0.49.0/bin:/nix/store/wi1s2nf3gvwdzhm7hz1smr5xn02mj2fw-jays-1.20171121/bin:/nix/store/cdalbhzm3z4gz07wyg89maprdbjc4yah-nodejs-14.17.0/bin:/nix/store/59f0zqdnb0vmj1bqadxkrsvxc454fmm2-tre-0.8.0/bin:/nix/store/07j6d0lr6p1gjxi2qhf6wn88nl81x5jj-perl-5.32.1/bin:/nix/store/7b6wpnj9i7b6crz6l4hfn9jb04rv946a-solc/bin:/nix/store/7n3yzh9wza4bdqc04v01xddnfhkrwk2a-gnugrep-3.6/bin:/home/nico/.nix-profile/bin:/home/nico/go/bin:/home/nico/.local/bin:/home/nico/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin:/snap/bin
+ PATH=/nix/store/kxj6cblcsd1qcbbxlmbswwrn89zcmgd6-bash-4.4-p23/bin:/nix/store/a4v1akahda85rl9gfphb07zzw79z8pb1-coreutils-8.32/bin:/nix/store/bm33rsl98p27wpx1ad4r2h78lnmzndz7-git-2.31.1/bin:/nix/store/7b6wpnj9i7b6crz6l4hfn9jb04rv946a-solc/bin:/nix/store/5sk0yp9x2qfv7chjvfpsir2fm9zrypp0-seth-0.12.0/libexec/seth:/nix/store/2243wkkr3gfmbis4hhirck2kp001xp7s-bc-1.07.1/bin:/nix/store/a4v1akahda85rl9gfphb07zzw79z8pb1-coreutils-8.32/bin:/nix/store/g8w72aanshmw5gxi02ril1qlb427rjzy-curl-7.76.1-bin/bin:/nix/store/yd814n9d2yn15q2h36ganscijq1vvgix-ethsign-0.17.1/bin:/nix/store/bm33rsl98p27wpx1ad4r2h78lnmzndz7-git-2.31.1/bin:/nix/store/g34ldykl1cal5b9ir3xinnq70m52fcnq-gnused-4.8/bin:/nix/store/f1aq2j7v51w4i7z7h05lij3ri7k4mw46-nix-2.3.12/bin:/nix/store/bjc2qj4ln6b23s6sszs0pdzf5ngbc7c8-jq-1.6-bin/bin:/nix/store/iaarwd2xdrcgypnkngvbcs8y2mg2bkgb-hevm-0.49.0/bin:/nix/store/wi1s2nf3gvwdzhm7hz1smr5xn02mj2fw-jays-1.20171121/bin:/nix/store/cdalbhzm3z4gz07wyg89maprdbjc4yah-nodejs-14.17.0/bin:/nix/store/59f0zqdnb0vmj1bqadxkrsvxc454fmm2-tre-0.8.0/bin:/nix/store/07j6d0lr6p1gjxi2qhf6wn88nl81x5jj-perl-5.32.1/bin:/nix/store/7b6wpnj9i7b6crz6l4hfn9jb04rv946a-solc/bin:/nix/store/7n3yzh9wza4bdqc04v01xddnfhkrwk2a-gnugrep-3.6/bin:/home/nico/.nix-profile/bin:/home/nico/go/bin:/home/nico/.local/bin:/home/nico/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin:/snap/bin
+ exec -a /nix/store/iaarwd2xdrcgypnkngvbcs8y2mg2bkgb-hevm-0.49.0/bin/hevm /nix/store/iaarwd2xdrcgypnkngvbcs8y2mg2bkgb-hevm-0.49.0/bin/.hevm-wrapped exec --debug --rpc http://127.0.0.1:8545 --caller 0xa450cc0a298d99c2794b2f26b9f8e4302a8fe5e1 --value 0 --nonce 88 --origin 0xa450cc0a298d99c2794b2f26b9f8e4302a8fe5e1 --gas 200000 --gasprice 2000000000 --gaslimit 30000000 --block 14836976 --number 14836976 --timestamp 1653413514 --chainid 4919 --address 0xFD43D1dA000558473822302e1d44D81dA2e4cC0d --calldata 0xa3cba09a0000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000000011c000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000041c8ed0f84d50b9ff29fac24cf364f4a3eff0c3c16bf329270aec884c008dfb39b1d3348aa9248e8c69db15647d1c217123e15443a1c749059397016f2e67dcd021c00000000000000000000000000000000000000000000000000000000000000 --json-file seth.debug.pVgA/standard.json
hevm: /contracts/LDRToken.sol: openBinaryFile: does not exist (No such file or directory)