Skip to content
certora-verification

Change name of isValidatorApprove() #9

Sign in to view logs

Change name of isValidatorApprove()

Change name of isValidatorApprove() #9

Triggered via push April 19, 2024 09:40
@Roy-CertoraRoy-Certora
pushed 0f30967
main
Status Cancelled
Total duration 1m 29s
Artifacts –

certora_verification.yml

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

Annotations

18 errors
verify (MinterGateway.conf)
The run was canceled by @Roy-Certora.
verify (MinterGateway.conf)
The operation was canceled.
verify (MinterGateway-r01-only-cancelMint.conf)
The run was canceled by @Roy-Certora.
verify (MinterGateway-r01-only-cancelMint.conf)
The operation was canceled.
verify (MinterGateway-r01-only-activateMinter.conf)
The run was canceled by @Roy-Certora.
verify (MinterGateway-r01-only-activateMinter.conf)
The operation was canceled.
verify (MinterGateway-r01-only-updateIndex.conf)
The run was canceled by @Roy-Certora.
verify (MinterGateway-r01-only-updateIndex.conf)
The operation was canceled.
verify (MinterGateway-r01-only-proposeRetrieval.conf)
The run was canceled by @Roy-Certora.
verify (MinterGateway-r01-only-proposeRetrieval.conf)
The operation was canceled.
verify (MinterGateway-r01-only-updateCollateral.conf)
The run was canceled by @Roy-Certora.
verify (MinterGateway-r01-only-updateCollateral.conf)
The operation was canceled.
verify (MinterGateway-r01-only-freezeMinter.conf)
The run was canceled by @Roy-Certora.
verify (MinterGateway-r01-only-freezeMinter.conf)
The operation was canceled.
verify (ContinuousIndexingMath.conf)
The run was canceled by @Roy-Certora.
verify (ContinuousIndexingMath.conf)
The operation was canceled.
verify (MinterGateway-r01-only-proposeMint.conf)
The run was canceled by @Roy-Certora.
verify (MinterGateway-r01-only-proposeMint.conf)
The operation was canceled.