The Compound Protocol has a collection of high-level integration tests, dubbed "scenarios":


Which look like this:

Test "Mint 1 cZRX"
    ListedCToken ZRX cZRX initialExchangeRate:1e9
    Prep Geoff Some ZRX cZRX
    Mint Geoff 50e18 cZRX
    Assert Equal (Erc20 cZRX TokenBalance Geoff) (Exactly 50e9)
    -- Assert Equal (CToken cZRX UnderlyingBalance Geoff) (Exactly 1.0e18)

These are built with Certora, which bears a cost.

Is there any free tool that can do this or something alike?


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.