dapptools
dapptools copied to clipboard
dapphub
Dapp, Seth, Hevm, and more
Since [t8n](https://github.com/ethereum/go-ethereum/tree/master/cmd/evm) is now the canonical format for creating cross-client state tests, it would be great for `hevm` to allow for the transition to be defined in this way. The...
It would be great if we could test for certain events and parameter to be emitted. Quoting from the chat on possible syntaxes: https://dapphub.chat/channel/dev?msg=GisKDrLJtiAGzznyE > mds1 12:04 PM > There's...
- Adds a `DAPP_TEST_NONCE` env var that allows users to control the nonce assigned to the test contract - Adds unit tests for the various `DAPP_TEST_*` env vars cc: @kmbarry1...
Description: Add `--multiple` opt to `dapp-verify-contract`
Move away from semantic versioning, and simplify release process. The rationale is that we get very little benefit by using SemVer, because backwards compatibility isn't really applicable to us: there...
## Overview I'm seeing failures with the simple prove test defined [here](https://github.com/mds1/drai/blob/a4bb3599c7fa1c624fa5577179c7e41400482ca7/src/Drai.t.sol#L555-L561). You can use [this branch](https://github.com/mds1/drai/tree/solver-issue) to reproduce the issue. Some other info: - I've tried both solvers and...
When fuzz testing with a verbosity of 1 the user is shown a counter of runs completed which serves as a nice way to gauge how fast your tests are...
https://github.com/ethereum/eth1.0-specs/blob/master/network-upgrades/mainnet-upgrades/london.md
The latest libff seems to change its paths. So hevm build failed. ```shell hevm > /tmp/stack-570ee5a6896e8cdc/hevm-0.47.0/ethjet/ethjet-ff.cc:6:10: error: hevm > fatal error: libff/algebra/fields/bigint.hpp: No such file or directory hevm > 6...
