Assert that the health factor of updated positions in a lending protocol is above a certain threshold
getCallInputs()
: Track all function calls to specified protocol functionsregisterCallTrigger()
: Trigger on lending operations (supply, borrow, withdraw, repay)forkPostState()
: Verify health factor after each operation (used by default if no pre-state specified)Note: Full examples with tests available in the Phylax Assertion Examples Repository.
LendingHealthFactorExtendedAssertion.sol
) that follows the same pattern. This allows you to: