dapptools
dapptools copied to clipboard
dapphub
Dapp, Seth, Hevm, and more
Hevm used to display stack items with the item index, then the hex representation of the value with the decimal representation (or something more informative, like `keccak("setUp()")`) below. The hex...
This is unnecessary and increases the build time dramatically. I manually disable library linking with the env var but it always gets overriden for debugging (even tho it is unnecessary)
Was discussed here: https://github.com/crytic/echidna/pull/674#issuecomment-891646883 If a parameter is indexed hevm will just skip over it entirely right now.
So I just had to update every single submodule in dappsys again since there was a one char change in `ds-test` and I just can't go on like this :sweat_smile:....
Hey, I'm simulating some transactions and it seems that interactive debug mode shows me emmited events (LOG0,LOG1,...etc). However I can't seem to find it from jsontrace. And trace just seems...
At the moment `hevm dapp-test --coverage` outputs the source code files with some symbols in front of each line, which indicates if those lines were covered or not, or if...
In large repos with many contracts, compilation can be the longest run time in the testing process. Since the compiler tries to be stateless, but dapptools does not, it would...
Copying relevant context from the chat https://dapphub.chat/channel/dev?msg=Rpcaptofwiui5ZHKu > jo-es June 22, 2021 6:38 AM > are there any plans on adding the ability to supply an expected revert reason to...
Currently using property tests means you forfeit your ability to see logs or gas usage in the `dapp test` output, would like a way to still see debug information like...
When running a simple symbolic test that deposits into a contract which transfers and mints a token, the SMTChecker will error out with this cryptic message: ``` hevm: *** Data.SBV:...