Skip to content

Run Aave V4 Spec

Run Aave V4 Spec #221

Re-run triggered November 17, 2025 10:01
Status Failure
Total duration 7m 30s
Artifacts

on-demand.yml

on: workflow_dispatch
Fit to window
Zoom out
Zoom in

Annotations

10 errors
packages/spec/repay/business.spec.ts > Repaying Loans on Aave V4 > Given a user and a reserve with an active borrow position > When the user repays the full loan amount > Then the borrow position is closed and the repayment is reflected in the user's positions: packages/spec/repay/business.spec.ts#L54
InvariantError: Expected result to be Ok: Execution reverted for an unknown reason. Estimate Gas Arguments: from: 0xd05B49481ce97b41e9cc1CE3b8e5B9B1c012329d to: 0xBa97c5E52cd5BC3D7950Ae70779F8FfE92d40CdC value: 0 ETH data: 0xac9650d800000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000e00000000000000000000000000000000000000000000000000000000000000064852a56a5000000000000000000000000000000000000000000000000000000000000000300000000000000000000000000000000000000000000000000000000000f4240000000000000000000000000d05b49481ce97b41e9cc1ce3b8e5b9b1c012329d0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000649e35c53300000000000000000000000000000000000000000000000000000000000000030000000000000000000000000000000000000000000000000000000000000001000000000000000000000000d05b49481ce97b41e9cc1ce3b8e5b9b1c012329d00000000000000000000000000000000000000000000000000000000 Details: execution reverted Version: [email protected] due to Execution reverted for an unknown reason. Details: execution reverted Version: [email protected] due to Execution reverted for an unknown reason. Estimate Gas Arguments: from: 0xd05B49481ce97b41e9cc1CE3b8e5B9B1c012329d to: 0xBa97c5E52cd5BC3D7950Ae70779F8FfE92d40CdC value: 0 ETH data: 0xac9650d800000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000e00000000000000000000000000000000000000000000000000000000000000064852a56a5000000000000000000000000000000000000000000000000000000000000000300000000000000000000000000000000000000000000000000000000000f4240000000000000000000000000d05b49481ce97b41e9cc1ce3b8e5b9b1c012329d0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000649e35c53300000000000000000000000000000000000000000000000000000000000000030000000000000000000000000000000000000000000000000000000000000001000000000000000000000000d05b49481ce97b41e9cc1ce3b8e5b9b1c012329d00000000000000000000000000000000000000000000000000000000 maxFeePerGas: 0.000000002 gwei maxPriorityFeePerGas: 0.000000001 gwei nonce: 1 Details: execution reverted Version: [email protected] due to Execution reverted for an unknown reason. Details: execution reverted Version: [email protected] due to RPC Request failed. URL: https://virtual.mainnet-aave.us-east.rpc.tenderly.co/dbaa58ab-597b-4bcd-ae6a-b8e50f716146 Request body: {"method":"eth_estimateGas","params":[{"data":"0xac9650d800000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000e00000000000000000000000000000000000000000000000000000000000000064852a56a5000000000000000000000000000000000000000000000000000000000000000300000000000000000000000000000000000000000000000000000000000f4240000000000000000000000000d05b49481ce97b41e9cc1ce3b8e5b9b1c012329d0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000649e35c53300000000000000000000000000000000000000000000000000000000000000030000000000000000000000000000000000000000000000000000000000000001000000000000000000000000d05b49481ce97b41e9cc1ce3b8e5b9b1c012329d00000000000000000000000000000000000000000000000000000000","from":"0xd05B49481ce97b41e9cc1CE3b8e5B9B1c012329d","maxFeePerGas":"0x2","maxPriorityFeePerGas":"0x1","nonce":"0x1","to":"0xBa97c5E52cd5BC3D7950Ae70779F8FfE92d40CdC","value":"0x0"}]} Details: execution reverted Version: [email protected] ❯ R packages/types/src/helpers/assertion
packages/spec/positions/business.spec.ts > Aave V4 Health Factor Positions Scenarios > Given a user with a one supply position as collateral > And the user has a one borrow position: packages/spec/positions/business.spec.ts#L98
InvariantError: Expected result to be Ok: Execution reverted for an unknown reason. Estimate Gas Arguments: from: 0xcc8cE81Ab7b9770Ed0fA34a5bB340E68eCD6f389 to: 0xBa97c5E52cd5BC3D7950Ae70779F8FfE92d40CdC value: 0 ETH data: 0xac9650d800000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000e00000000000000000000000000000000000000000000000000000000000000064852a56a500000000000000000000000000000000000000000000000000000000000000030000000000000000000000000000000000000000000000000000000000989680000000000000000000000000cc8ce81ab7b9770ed0fa34a5bb340e68ecd6f3890000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000649e35c53300000000000000000000000000000000000000000000000000000000000000030000000000000000000000000000000000000000000000000000000000000001000000000000000000000000cc8ce81ab7b9770ed0fa34a5bb340e68ecd6f38900000000000000000000000000000000000000000000000000000000 Details: execution reverted Version: [email protected] due to Execution reverted for an unknown reason. Details: execution reverted Version: [email protected] due to Execution reverted for an unknown reason. Estimate Gas Arguments: from: 0xcc8cE81Ab7b9770Ed0fA34a5bB340E68eCD6f389 to: 0xBa97c5E52cd5BC3D7950Ae70779F8FfE92d40CdC value: 0 ETH data: 0xac9650d800000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000e00000000000000000000000000000000000000000000000000000000000000064852a56a500000000000000000000000000000000000000000000000000000000000000030000000000000000000000000000000000000000000000000000000000989680000000000000000000000000cc8ce81ab7b9770ed0fa34a5bb340e68ecd6f3890000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000649e35c53300000000000000000000000000000000000000000000000000000000000000030000000000000000000000000000000000000000000000000000000000000001000000000000000000000000cc8ce81ab7b9770ed0fa34a5bb340e68ecd6f38900000000000000000000000000000000000000000000000000000000 maxFeePerGas: 0.000000002 gwei maxPriorityFeePerGas: 0.000000001 gwei nonce: 3 Details: execution reverted Version: [email protected] due to Execution reverted for an unknown reason. Details: execution reverted Version: [email protected] due to RPC Request failed. URL: https://virtual.mainnet-aave.us-east.rpc.tenderly.co/dbaa58ab-597b-4bcd-ae6a-b8e50f716146 Request body: {"method":"eth_estimateGas","params":[{"data":"0xac9650d800000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000e00000000000000000000000000000000000000000000000000000000000000064852a56a500000000000000000000000000000000000000000000000000000000000000030000000000000000000000000000000000000000000000000000000000989680000000000000000000000000cc8ce81ab7b9770ed0fa34a5bb340e68ecd6f3890000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000649e35c53300000000000000000000000000000000000000000000000000000000000000030000000000000000000000000000000000000000000000000000000000000001000000000000000000000000cc8ce81ab7b9770ed0fa34a5bb340e68ecd6f38900000000000000000000000000000000000000000000000000000000","from":"0xcc8cE81Ab7b9770Ed0fA34a5bB340E68eCD6f389","maxFeePerGas":"0x2","maxPriorityFeePerGas":"0x1","nonce":"0x3","to":"0xBa97c5E52cd5BC3D7950Ae70779F8FfE92d40CdC","value":"0x0"}]} Details: execution reverted Version: [email protected] ❯ R packages/types/src/helpers/assertion