Property tests for ERC-20 tokens

  • Evaluate your ERC-20 token 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:

Only paid users can trigger test evaluations.
Your code doesn't meet the requirements