To get started, we recommend clicking on “SafeMath.sol” below (after logging in) and uploading it here. This will allow you to get a feel for the upload process and ensure that everything is working as it should. Once you’ve uploaded SafeMath.sol, our website will generate tests for it, which usually takes up to 90 seconds, assuming there are no other contracts being processed at the same time. You can refresh this page to check the status.
Next, try making modifications to SafeMath.sol and uploading the modified version again. You’ll be able to see how the generated tests change based on your modifications, which will give you valuable insight into the behavior of your contract.
It’s important to note that, since this is our first proof of concept, only a limited set of programming constructs are currently allowed in your contract. However, we’re continually working to expand the range of programming constructs that our feature supports.
So what are you waiting for? Download SafeMath.sol below, upload variations of it, and start generating tests today to streamline your testing process and catch potential bugs early on!