MrChico
MrChico
> As a feature request, it'd be great if I could step over anything unknown. you can step to the next piece of source code with shift-N, or step forward...
Not sure we can do much about the fact that srccode is missing for parts of the code, but we can fix the `N` and `c-n` issue
Yeah, this is nice, but I think the more general solution to this problem is to have `seth send` estimate the gas cost and set ETH_GAS to the result of...
I'm not sure I follow. `estimate` just provides the gas cost, not anything relating to gas price. What does `--market` do?
`c-N` uses the `isNextSourcePositionWithoutEntering` function, the fix here touches only `isNextSourcePosition`.
TL;DR REVERTS don't revert the changes made by hevm.warp and if we increment the time in the invariant tests it gets ignored when we skip reverting state changes
Agreed. There is some support for the EIP-3155 trace like functionality under the `--jsontrace` flag available under the `hevm exec` and `hevm bc-test` commands. I haven't confirmed that it is...
Related to #349, this requires to use something handcrafted instead of quickcheck
ref https://dapphub.chat/channel/dev?msg=XQmkeMBAFhmXaBWAp
hmm, no it _should_ work, but I guess something might be wrong with the encoder