search

ethereum-optimism / ecosystem-contributions

Find ways to contribute to the Optimism Collective
MIT License
303 stars 120 forks source link

✨ Contribution Opportunity: Convert Echinda tests to Forge invariants #49

Open smartcontracts opened 1 year ago

smartcontracts commented 1 year ago

What is a Contribution Opportunity?

A Contribution Opportunity is a concrete task that you can work on to contribute to the Optimism Collective.

Summary

The smart contracts for Optimism’s upcoming Bedrock launch includes a suite of Echidna tests which use Echidna for property testing. These contracts also have a suite of Forge invariant tests. In order to standardize tooling, OP Labs is looking for contributors to help convert the Echidna tests into to Forge invariant tests.

Please refer to the corresponding GitHub issue for more information.

Impact

Standardization is important to making sure that we’re covering every possible case with our invariant test suite and that we’re not missing anything because tests are split between two different frameworks.

Resources

Ratimon commented 1 year ago

Hello! I want to express my interest in contributing this task and ask a clarifying question:

You can reach me here or:

email: ratixoxo@gmail.com

Kind Regards, Rati

smartcontracts commented 1 year ago

Hi @Ratimon, I'm glad you're interested in this task! Adding new invariants is also always useful. I will ask the OP Labs smart contracts team for more information about the list of invariants that are not currently being tested.

Ratimon commented 1 year ago

@smartcontracts Hi, I note that this issue (https://github.com/ethereum-optimism/optimism/issues/4980) is now resolved : ).