Arbitraries/Examples for Solidity/Ethereum types

💬 Question and Help

Hi! Im interested in implementing fast-check for smart contract testing, allowing me to randomly create values to test different sets of functions and parameters in our smart contracts in Solidity.

Are there any examples or types that are already prepared for this that I can reuse? (like creating addresses, valid amounts, etc all compatible with Solidity/Eth types). Specifically we are using ethers.js in our case.

A possible amount could be uint256 which max amount is : 2**256 - 1. We have to use a BigNumber library for this and I don’t see that being supported in fast-check right?

Any help would be appreciated. Would love to be able to use this. Thanks!

[dubzzz]

You probably want to do that:

   it.only('Should transfer tokens correctly', async function () {
      await fc.assert(
        fc.asyncProperty(fc.bigUintN(256), async (amount) => {
          // Mint some tokens to the caller contract
          await token.mint(caller.address, amount)

          // Transfer
          await caller.safeTransfer(addr1.address, amount)
          expect(await caller['getBalance(address)'](addr1.address)).to.equal(amount)
          expect(await caller['getBalance(address)'](caller.address)).to.equal(0)
        })
      )
    })

[julianmrodri]

Ideally I could do the clean-up by resetting the mocha/waffle context to the one before that single test executed. But couldn’t find a way to do that. Mocking the blockchain is what im doing in the “Model” (yes im doing Model Based testing which is quite suitable for my use case). So my real test needs to be with the actual blockchain.

Do you know if mocha provides a way to reset the context of a test which I could trigger in the afterEach for example?

Thanks for all your support!