The Compound Protocol has a collection of high-level integration tests, dubbed "scenarios":
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?