Property tests for ERC-20 contracts

  • Evaluate your ERC-20 contract from the Solidity source code, pre- or post-deployment.

  • You can make in-line changes to the code and use Re-evaluate. We'll automatically save your work for 24h.

  • You can delete everything you have previously saved.

  • We do not store the submitted code nor the test results, unless you bookmark them to your Account under My tokens.

  • The submitted code should be self-contained and should compile with the Solidity compiler version > 0.8.

Copy/Paste your contract code below:

The above code is an example.

Your code doesn't meet the requirements