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: