Open
Description
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