2

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

https://github.com/compound-finance/compound-protocol/tree/v2.8.1/spec

Which look like this:

Test "Mint 1 cZRX"
    NewComptroller
    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?

0

Your Answer

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