Convert Echinda tests to Forge invariants

May 23, 2023
Open
Open
Contribution Opportunity
  • Links

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

  • More Information
  • Tag 1
    Contracts
  • Tag2
    Chain Infra
  • Tag3