Lucas Manuel comments

Results 13 comments of


                                            Lucas Manuel

trafficstars

Document invariant testing + patterns

Thoughts on patterns: ## Open Invariant Testing This testing pattern deploys all relevant contracts in the `setUp` function and exposes all the functions in these contracts to the fuzzer. This...

Document invariant testing + patterns

Currently all the invariant examples we have are private, but here is an open source implementation of bounded actor-based invariant testing: https://github.com/maple-labs/revenue-distribution-token/blob/add-forge-invariants/contracts/test/Invariants.t.sol

Feature request: Generate code coverage summary information similar to solidity-coverage

Yes please! I would love to see this. Would also increase adoption of the framework a lot.

Feature request: Test event emissions

Yes I'd love to see this as well.

Redo dependency management

We are currently dealing with this in our [maple-core](https://github.com/maple-labs/maple-core) repo. We've converted all of our contracts into submodules so that we can easily version contracts and test different permutations of...

explicitly state the features of a contract for a more fair comparison

I think the tables the easiest to refer to/understand

review and fix string vs. bytes handling in `cast`

Close-able? @mds1

fix(`invariant`): do not record newly created contracts as targetContracts

Hmm interesting, my first reaction is to avoid adding these automatically, and document that if a dev wants to add contracts deployed during a run to target contracts, they should...

Add support for filtering printer output

@shortdoom yes a tool would be totally fine with me, that sounds good!

Reverting and stopping execution using assertEq

Agree with @sunbreak1211 here I think its valuable to be able to see all the `assertion failed` expected and actual values when a test fails. Makes for much faster debugging....