MrChico
MrChico
I was thinking one iteration is one round of mutate, filter, and that one may do multiple of those. But maybe its not more useful to do mutate, filter, mutate,...
There's a couple of things that can trigger `unexpected symbolic argument` (look for basically any invocation of `forceLit` in the code), but yes, symbolic value for internal calls is definitely...
It wouldn't be too hard to add, but it does require adding another place to branch (based on whether the sender has enough funds avail or not) – currently we...
Yeah, I think we have shrinking already for the normal fuzz tests, but not for the invariant tests atm. We should implement it for invariant tests. And solve the soundness...
One could imagine doing this in a new display interface as well, where the user navigates the source code, and asks the evm to execute to that point. The emacs...
I dont see how this can be done from dapp rather than solc
It seems like to be able to do this we would need to at least: - store a copy (or hash) of the compiler input settings to see when they...
useful resource for updating seth to 1559: https://hackmd.io/@q8X_WM2nTfu6nuvAzqXiTQ/1559-wallets
Ah, good to know. As you may already be aware, you can still compile with cabal: ``` cd src/hevm nix-shell cabal v2-build ```
is it blank all the time for this contract? Or just in some sections?