Skip to content
certora-gsm-4626

Merge pull request #453 from aave/francesc/devops-980-implement-depen… #38

Sign in to view logs

Merge pull request #453 from aave/francesc/devops-980-implement-depen…

Merge pull request #453 from aave/francesc/devops-980-implement-depen… #38

Triggered via push September 23, 2025 11:45
@absisabsis
pushed c6335a0
main
Status Cancelled
Total duration 33s
Artifacts –

certora-gsm-4626.yml

on: push
Matrix: verify
Fit to window
Zoom out
Zoom in

Annotations

33 errors
verify (gho-gsm4626.conf --rule enoughULtoBackGhoNonBuySell NonZeroFeeCheckSellAsset NonZeroFeeCh...
The operation was canceled.
verify (gho-gsm4626.conf --rule enoughULtoBackGhoNonBuySell NonZeroFeeCheckSellAsset NonZeroFeeCh...
The run was canceled by @absis.
verify (balances-buy-4626.conf)
The operation was canceled.
verify (balances-buy-4626.conf)
The run was canceled by @absis.
verify (balances-sell-4626.conf --rule R1_getAssetAmountForSellAsset_arg_vs_return R1a_buyGhoUpda...
The operation was canceled.
verify (balances-sell-4626.conf --rule R1_getAssetAmountForSellAsset_arg_vs_return R1a_buyGhoUpda...
The run was canceled by @absis.
verify (optimality4626.conf --rule R1_optimalityOfBuyAsset_v1)
The operation was canceled.
verify (optimality4626.conf --rule R1_optimalityOfBuyAsset_v1)
The run was canceled by @absis.
verify (balances-sell-4626.conf --rule R4_buyGhoUpdatesGhoBalanceCorrectly R4a_buyGhoAmountGtGhoB...
The operation was canceled.
verify (balances-sell-4626.conf --rule R4_buyGhoUpdatesGhoBalanceCorrectly R4a_buyGhoAmountGtGhoB...
The run was canceled by @absis.
verify (fees-buy-4626.conf)
The operation was canceled.
verify (fees-buy-4626.conf)
The run was canceled by @absis.
verify (getAmount_4626_properties.conf --rule getAssetAmountForSellAsset_optimality getAssetAmoun...
The operation was canceled.
verify (fees-sell-4626.conf --rule R3a_estimatedSellFeeCanBeLowerThanActualSellFee R2_getAssetAmo...
The operation was canceled.
verify (balances-sell-4626.conf --rule R3a_sellAssetUpdatesAssetBalanceCorrectly)
The operation was canceled.
verify (getAmount_4626_properties.conf --rule getAssetAmountForSellAsset_optimality getAssetAmoun...
The run was canceled by @absis.
verify (balances-sell-4626.conf --rule R3a_sellAssetUpdatesAssetBalanceCorrectly)
The run was canceled by @absis.
verify (fees-sell-4626.conf --rule R3a_estimatedSellFeeCanBeLowerThanActualSellFee R2_getAssetAmo...
The run was canceled by @absis.
verify (gho-gsm_4626_inverse.conf --rule buySellInverse27 buySellInverse26 buySellInverse25 buySe...
The operation was canceled.
verify (gho-gsm_4626_inverse.conf --rule buySellInverse27 buySellInverse26 buySellInverse25 buySe...
The run was canceled by @absis.
verify (optimality4626.conf --rule R3_optimalityOfSellAsset_v1)
The operation was canceled.
verify (optimality4626.conf --rule R3_optimalityOfSellAsset_v1)
The run was canceled by @absis.
verify (gho-gsm4626-2.conf --rule accruedFeesLEGhoBalanceOfThis accruedFeesNeverDecrease systemBa...
The operation was canceled.
verify (gho-gsm4626-2.conf --rule accruedFeesLEGhoBalanceOfThis accruedFeesNeverDecrease systemBa...
The run was canceled by @absis.
verify (getAmount_4626_properties.conf --rule getGhoAmountForBuyAsset_correctness)
The operation was canceled.
verify (getAmount_4626_properties.conf --rule getGhoAmountForBuyAsset_correctness)
The run was canceled by @absis.
verify (getAmount_4626_properties.conf --rule getGhoAmountForBuyAsset_optimality)
The operation was canceled.
verify (getAmount_4626_properties.conf --rule getGhoAmountForBuyAsset_optimality)
The run was canceled by @absis.
verify (getAmount_4626_properties.conf --rule getAssetAmountForBuyAsset_correctness_bound1 getAss...
The operation was canceled.
verify (getAmount_4626_properties.conf --rule getAssetAmountForBuyAsset_correctness_bound1 getAss...
The run was canceled by @absis.
verify (optimality4626.conf --rule R5a_externalOptimalityOfSellAsset R6a_externalOptimalityOfBuyA...
The operation was canceled.
verify (optimality4626.conf --rule R5a_externalOptimalityOfSellAsset R6a_externalOptimalityOfBuyA...
The run was canceled by @absis.
certora-gsm-4626
The run was canceled by @absis.