Skip to content
certora-gsm

Certora #47

Sign in to view logs

Certora

Certora #47

Triggered via pull request September 15, 2024 09:24
@MichaelMoramiMichaelMorami
synchronize #11
certora
Status Cancelled
Total duration 59s
Artifacts –

certora-gsm.yml

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

Annotations

30 errors
verify (non-4626/otakar-OracleSwapFreezer.conf)
The run was canceled by @MichaelMorami.
verify (non-4626/otakar-OracleSwapFreezer.conf)
The operation was canceled.
verify (non-4626/Dominik-gho-fixedPriceStrategy.conf)
The run was canceled by @MichaelMorami.
verify (non-4626/otakar-finishedRules.conf --rule whoCanChangeExposure whoCanChangeAccruedFees se...
The run was canceled by @MichaelMorami.
verify (non-4626/Dominik-gho-fixedPriceStrategy.conf)
The operation was canceled.
verify (non-4626/otakar-finishedRules.conf --rule whoCanChangeExposure whoCanChangeAccruedFees se...
The operation was canceled.
verify (non-4626/fees-buy.conf)
The run was canceled by @MichaelMorami.
verify (non-4626/fees-buy.conf)
The operation was canceled.
verify (non-4626/Dominik-gho-assetToGhoInvertibility.conf --rule basicProperty_getAssetAmountForB...
The run was canceled by @MichaelMorami.
verify (non-4626/Dominik-gho-assetToGhoInvertibility.conf --rule basicProperty_getAssetAmountForB...
The operation was canceled.
verify (non-4626/otakar-getAmount_properties.conf --rule getAssetAmountForBuyAsset_funcProperty_L...
The run was canceled by @MichaelMorami.
verify (non-4626/otakar-getAmount_properties.conf --rule getAssetAmountForBuyAsset_funcProperty_L...
The operation was canceled.
verify (non-4626/Alex-gho-gsm_inverse.conf)
The run was canceled by @MichaelMorami.
verify (non-4626/Alex-gho-gsm_inverse.conf)
The operation was canceled.
verify (non-4626/Alex-gho-gsm.conf)
The run was canceled by @MichaelMorami.
verify (non-4626/Alex-gho-gsm.conf)
The operation was canceled.
verify (non-4626/Dominik-gho-assetToGhoInvertibility.conf --rule basicProperty2_getAssetAmountFor...
The run was canceled by @MichaelMorami.
verify (non-4626/otakar-FixedFeeStrategy.conf)
The run was canceled by @MichaelMorami.
verify (non-4626/Dominik-gho-assetToGhoInvertibility.conf --rule basicProperty2_getAssetAmountFor...
The operation was canceled.
verify (non-4626/otakar-FixedFeeStrategy.conf)
The operation was canceled.
verify (non-4626/antti-optimality.conf --rule R3_optimalityOfSellAsset_v1 R1_optimalityOfBuyAsset...
The run was canceled by @MichaelMorami.
verify (non-4626/antti-optimality.conf --rule R3_optimalityOfSellAsset_v1 R1_optimalityOfBuyAsset...
The operation was canceled.
verify (non-4626/balances-sell.conf)
The run was canceled by @MichaelMorami.
verify (non-4626/balances-sell.conf)
The operation was canceled.
verify (non-4626/Martin-gho-gsm.conf)
The run was canceled by @MichaelMorami.
verify (non-4626/Martin-gho-gsm.conf)
The operation was canceled.
verify (non-4626/balances-buy.conf)
The run was canceled by @MichaelMorami.
verify (non-4626/balances-buy.conf)
The operation was canceled.
verify (non-4626/fees-sell.conf)
The run was canceled by @MichaelMorami.
verify (non-4626/fees-sell.conf)
The operation was canceled.