safe-global / safe-smart-account

94%

main: 94%

LAST BUILD ON BRANCH feat/update-certora-prover

branch: feat/update-certora-prover

CHANGE BRANCH

x

Reset

• feat/update-certora-prover
• 1.4.1/backmerge-coveralls-job-fix
• 1.4.1/backport-safetol2setup-contract
• 1.5-addresses
• 731-imports-ordering-for-contracts
• assembly-encodeSafeTransactionData
• better-variable-naming-in-eip-712-hashing
• bug/benchmark-ci-silent-fail
• bump-v1.4.1-2
• bump-version/v1.4.1-1
• certora-workfile
• certora/v6-spec-update
• changelog-v1.5.0
• chore/disable-zksync-tests
• chore/fix-harness-patch
• chore/fix-ts-lints
• chore/fix-up-migration-tests
• chore/update-dependencies
• chore/update-readme-release-v1.4.1-2
• codeowners
• dependabot/npm_and_yarn/braces-3.0.3
• dependabot/npm_and_yarn/follow-redirects-1.15.6
• dependabot/npm_and_yarn/multi-c22b14adf9
• dependabot/npm_and_yarn/secp256k1-4.0.4
• dependabot/npm_and_yarn/undici-5.28.3
• dependabot/npm_and_yarn/undici-5.28.4
• dependencies/upgrade
• deps-bump
• docs/get-transaction-hash-dirty-bits
• enable-zksync-tests
• erc777-compat-comments
• error-propagation
• experiment/auto-l2-safe
• extensible-fallback-handler
• fallback-handler-comments
• feat/dep-update
• feat/disable-pre-approved-1271-signature
• feat/support-pre-approved-1271-signature
• feature-787-migration-contract
• feature-context-in-module-tx
• feature/eip-7702
• feature/module-tx-guard
• fix
• fix-735-compilation-with-new-solidity-version
• fix-735-compilation-with-new-solidity-version-temp
• fix-754-signature-length-check
• fix-790-update-changelog
• fix-emit-event-in-SafeL2-execTransactionFromModuleReturnData
• fix-errors
• fix-link
• fix-natspec-inheritdoc
• fix-typo
• fix/build
• fix/incorrect-length-comment-svm
• fix/memory-safe-assembly
• fix/shifting-bits-not-bytes
• g01
• g02
• g03
• g04
• g05
• g06
• g07
• g08
• g09
• g10
• getSafeWithOwners-ts
• getsafe
• i02-keccak256
• i03
• improvement-add-transaction-pre-hooks
• improvement-execTransaction-post-call-hook
• library-audit
• main
• migration-contract-141
• migration-fv
• migration-tests-zksync
• mmv08-patch-1
• new-safe-v1.5-addresses
• patch
• patch-1
• patch-2
• refs/tags/v1.4.1-1
• release/v1.4.1
• release/v1.4.1-1
• release/v1.4.1-2
• release/v1.4.1-2-deployment
• release/v1.4.1-3
• remove-payable
• remove-unused-test-contracts
• remove-vscode-junm
• safe-proxy-event
• safeToL2Migration-zksync
• sig-malleability-comments
• temp/1.5.0-build
• test-workflow
• typos
• update-compatibility-documentation
• using-returndatasize
• v1.4.1-2
• v1.4.1-2-audit
• v1.4.1-3
• v1.4.1-audit-and-address
• v1.4.1-audit-changes
• v1.4.1/singleton-factory-update
• v1.4.1/zksync-compat
• v1.5.0-audit
• v1.5.0-zksync
• v1_3_0_zksync
• workflow-updated
• zksync-failing-test

Build # 9176099442

Build Type

Pull #761

github

Committed by mmv08

Commit Message

fix specs by removing redundant options and keywords

Pull Request Pull Request #761: Upgrade Certora CLI and Prover to v7.6.3 on the CI

Run Details

261 of 292 branches covered (89.38%)

Branch coverage included in aggregate %.

398 of 406 relevant lines covered (98.03%)

95.06 hits per line