62 lines
1.1 KiB
YAML
62 lines
1.1 KiB
YAML
version: 1
|
|
network: mainnet
|
|
protocols: [aave-v3, uniswap-v3]
|
|
|
|
assumptions:
|
|
baseCurrency: USD
|
|
slippageBps: 30
|
|
minHealthFactor: 1.05
|
|
|
|
accounts:
|
|
trader:
|
|
funded:
|
|
- token: WETH
|
|
amount: "5"
|
|
|
|
steps:
|
|
- name: Approve WETH to Aave Pool
|
|
action: erc20.approve
|
|
args:
|
|
token: WETH
|
|
spender: aave-v3:Pool
|
|
amount: "max"
|
|
|
|
- name: Supply WETH
|
|
action: aave-v3.supply
|
|
args:
|
|
asset: WETH
|
|
amount: "5"
|
|
onBehalfOf: $accounts.trader
|
|
assert:
|
|
- aave-v3.healthFactor >= 1.5
|
|
|
|
- name: Borrow USDC
|
|
action: aave-v3.borrow
|
|
args:
|
|
asset: USDC
|
|
amount: "6000"
|
|
rateMode: variable
|
|
|
|
- name: Swap USDC->WETH (hedge)
|
|
action: uniswap-v3.exactInputSingle
|
|
args:
|
|
tokenIn: USDC
|
|
tokenOut: WETH
|
|
fee: 500
|
|
amountIn: "3000"
|
|
|
|
- name: Supply additional WETH
|
|
action: aave-v3.supply
|
|
args:
|
|
asset: WETH
|
|
amount: "max"
|
|
onBehalfOf: $accounts.trader
|
|
assert:
|
|
- aave-v3.healthFactor >= 1.2
|
|
|
|
- name: Check final health factor
|
|
action: assert
|
|
args:
|
|
expression: "aave-v3.healthFactor >= 1.05"
|
|
|