Gitcoin is GDPR complaint. Learn more in
Gitcoin's Terms & Conditions.
Check out the Issue Explorer
Looking to fund some work? You can submit a new Funded Issue here.
Manticore implements an Ethereum Virtual Machine that is purpose-built for symbolic execution. The Ethereum Foundation publishes a [test suite for Ethereum VMs](https://github.com/ethereum/tests) for Ethereum VMs to help ensure consistency among implementations. Manticore currently tests against a subset of these tests. In particular, the vmTests were identified early on as highly relevant and easy to integrate into our build process. This Github Issue tracks our progress towards reviewing and implementing _all_ remaining, relevant tests.
In order to help us with this issue, please investigate and document the relevance of each remaining category of tests. If the tests are relevant (some will not be relevant due to the specialized nature of Manticore -- it is not a full, concrete Ethereum VM like Parity or Geth but is instead built for security analysis), then we'll want to create a [test generator like the one we built for the vmTests](https://github.com/trailofbits/manticore/issues/1163). Note that we fell behind on conformance to the vmTests and Issue #1163 tracks our progress catching up with them.
Here is a list of the test categories you should review:
It may be beneficial to start with the GeneralStateTests, as the Ethereum Foundation appears to be deprecating the vmTests in favor of them.