Skip to content

Bug: KeyError crash when running hybrid-echidna #89

@rappie

Description

@rappie

Describe the bug
It runs echidna for about 2 minutes and then crashes.

To Reproduce
Sadly I cannot share my environment. I could narrowing things down with some guidance.

Additional context:

  • Manjaro Linux, Python 3.10.8
  • Echidna 2.0.3
  • Slither 0.9.1
❯ poetry run hybrid-echidna . --contract E2E --config echidna-config.yaml --no-display --debug --logs stdout
ERROR:CryticCompile:Solidity 0.8.7 is not fully supported yet. You can still use Hardhat, but some features, like stack traces, might not work correctly.

Learn more at https://hardhat.org/reference/solidity-support"


2022-11-05 20:55:49,076 - INFO - Running echidna campaign #1 ...
2022-11-05 20:55:49,076 - DEBUG - Echidna invocation cmdline: echidna-test . --sender 10000 --sender 20000 --sender 30000 --contract E2E --corpus-dir ./tmp4bh5i9r2 --test-mode assertion --seq-len 1 --config echidna-config.yaml --test-limit 50000 --contract-addr 00A329C0648769A73AFAC7F9381E08FB43DBEA72 --deployer 30000 --format json
...

LOTS of errors

...
[5290,3483,0,"ErrorRevert"],[5291,3484,0,"ErrorRevert"],[5292,3485,0,"ErrorRevert"],[5315,3498,0,"ErrorRevert"],[5316,3499,0,"ErrorRevert"],[5321,3500,0,"ErrorRevert"],[5323,3501,0,"ErrorRevert"],[5324,3502,0,"ErrorRevert"],[5326,3503,0,"ErrorRevert"],[5327,3504,0,"ErrorRevert"],[5329,3505,0,"ErrorRevert"],[5331,3506,0,"ErrorRevert"],[5332,3507,0,"ErrorRevert"],[5334,3508,0,"ErrorRevert"],[5336,3509,0,"ErrorRevert"]]}}
2022-11-05 20:57:35,462 - DEBUG - Bytecode for contract E2E written in /tmp/optik_contract_8dd5ze2x.sol
2022-11-05 20:57:35,468 - INFO - Replaying 17 new inputs symbolically...
2022-11-05 20:57:35,468 - DEBUG - Replaying input: -3484589115831615002.txt
Traceback (most recent call last):
  File "/home/rappie/.cache/pypoetry/virtualenvs/optik-test-D8mu_njD-py3.10/bin/hybrid-echidna", line 8, in <module>
    sys.exit(main())
  File "/home/rappie/.cache/pypoetry/virtualenvs/optik-test-D8mu_njD-py3.10/lib/python3.10/site-packages/optik/echidna/__main__.py", line 521, in main
    func(sys.argv[1:])
  File "/home/rappie/.cache/pypoetry/virtualenvs/optik-test-D8mu_njD-py3.10/lib/python3.10/site-packages/optik/echidna/__main__.py", line 257, in run_hybrid_echidna
    replay_inputs(new_inputs, contract_file, deployer, cov)
  File "/home/rappie/.cache/pypoetry/virtualenvs/optik-test-D8mu_njD-py3.10/lib/python3.10/site-packages/optik/echidna/runner.py", line 81, in replay_inputs
    assert world.run() == STOP.EXIT
  File "/home/rappie/.cache/pypoetry/virtualenvs/optik-test-D8mu_njD-py3.10/lib/python3.10/site-packages/optik/common/world.py", line 376, in run
    self.current_contract.pop_runtime()
  File "/home/rappie/.cache/pypoetry/virtualenvs/optik-test-D8mu_njD-py3.10/lib/python3.10/site-packages/optik/common/world.py", line 283, in current_contract
    return self.contracts[self.call_stack[-1]]
KeyError: 3638658538924045119126437326771845363306064498

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions