[Bug-Candidate]: Internal Error: won't happen during concrete exec -- CallStack

[0xNeoRacer]

Describe the issue:

Similar to #1398

All workers crashed with same issue.

[2025-09-15 10:47:07.05] [Worker 4] Crashed:

Internal Error: won't happen during concrete exec -- CallStack (from HasCallStack):
  internalError, called at src/EVM.hs:3198:15 in hevm-0.54.2-FScegUTgP9u98s76UsY2cw:EVM
CallStack (from HasCallStack):
  error, called at src/EVM/Types.hs:1518:19 in hevm-0.54.2-FScegUTgP9u98s76UsY2cw:EVM.Types
  internalError, called at src/EVM.hs:3198:15 in hevm-0.54.2-FScegUTgP9u98s76UsY2cw:EVM

Code example to reproduce the issue:

got clone https://github.com/silo-finance/silo-contracts-v2.git
git fetch origin
git checkout ae55758eea99f1243dfef063b35c583d758ef898

make echidna-dkink-irm-assert

I got first crash after ~2min of run.

Version:

echidna --version
Echidna 2.2.7

slither --version
0.11.3

Relevant log output:

[gustavo-grieco]

A fix for this is available in #1439. I should be merged soon but you can already test it.

[gustavo-grieco]

This was taking longer than expected, since it needs some fixes on the hevm side but we are getting there!

[gustavo-grieco]

If possible, please test #1467 as it should be fixed there.

[0xNeoRacer]

@gustavo-grieco with hombrew I'm not able to install directly from branch. so I need to wait until it will be in master

[gustavo-grieco]

Oh, actually, there are precompiled binaries here: https://github.com/crytic/echidna/releases/tag/v2.3.0-RC1

[0xNeoRacer]

Oh, actually, there are precompiled binaries here: https://github.com/crytic/echidna/releases/tag/v2.3.0-RC1

thanks! I will check today

[gustavo-grieco]

Any updates?

[0xNeoRacer]

Any updates?

I got some priorities from my project and I will get bac kto this asap, but I have to address priorities first :-/ sorry for delay.