Benjamin Samuels
Benjamin Samuels
While writing assertion-based properties, sometimes you have a property that requires a function to be called before the property can be fully validated: ``` function deposit(uint256 assets) public { vault.deposit(assets,...
When performing a basic[ deposit() ](https://github.com/yearn/yearn-vaults-v2-subgraph/pull/121/files/23e647966f12e6f17174882d42bc2f705d20ad94#diff-22df93aab102d0c33baddf84225d9ffd7b811173bd82d5d3d7a90fee0d9bde60R304-R313) test, AccountVaultPosition.balanceProfit records the deposited amount as profit. This value should be 0 as there has been no profit recognized by the vault in...
I’ve received a few questions recently from users who want to query the subgraph for a certain type of data, but aren’t sure how to do it because they aren’t...
StrategyReportResult.duration is supposed to be measured in days, according to its documentation. It is currently measured in milliseconds. Either convert this field to measure the duration in days, or change...
### Describe the desired feature or improvement 1. How challenging would it be to create a generic set of merkle trie properties? 2. Do merkle trie library interfaces have enough...
This PR adds the stateful properties from the engagement. It looks like there's been some changes on main since the audit commit, so treat this as a draft until it...
We had to spend a ton of time re-creating the state machine for a recent invariant project because it held internal state that our fuzzing harness couldn't directly access. I...
For each function called by a fuzz worker, record whether the call succeeded or reverted. If it reverted, keep track of the revert reason for metrics. At the end of...
We would be incorporating fuzz-utils into medusa. Whenever an invariant fails, Medusa would create a foundry test to reproduce the failure. The user would be notified of the test's existence...