neo-project / neo-devpack-dotnet

76%

master: 76%

LAST BUILD ON BRANCH neo-n3-specification

branch: neo-n3-specification

CHANGE BRANCH

x

Reset

• neo-n3-specification
• add-contract-invocation-system
• add-neps
• add-notary-contract
• add-plugin-generation-feature
• add-zkp-examples
• analyze-checkwitness
• automate-optimizer-strategies-clean
• build-sln
• cancel-constructor-call
• catch-analyzer
• change-guard-helpers
• check-contract-update
• chore/fix-testing-alignment-and-events
• clean-arg
• clean-pr
• compiler-fuzzer
• continue-goto
• contract-fuzzer
• contract-interface
• copilot/sub-pr-1416
• cover-tests
• disable-implicit-usings-smart-contracts
• docs/comprehensive-guidance-cleanup
• docs/guidance-docs-only
• documents
• dotnet9
• dumpnef-with-manifest
• enhance-error-messages
• enhance-security-diagnostics
• feat.same-sdk-version
• feat/compiler-exception-refine
• feat/developer-friendliness
• feat/nccs-template-generation
• feature/add-makefile-support
• feature/add-nccs-release-workflow
• feature/add-systemthreading-analyzer
• feature/compiler-todo-cleanup
• feature/comprehensive-security-documentation
• feature/csharp-syntax-checklists-green
• feature/devpack-policy-role-enhancements
• feature/document-extension-support
• feature/dsl-system-methods
• feature/inline-usage-fix
• feature/multi-platform-binary-releases
• feature/neo-contract-deployment-toolkit
• feature/nep-standard-interface-fix
• feature/out-parameter-fields
• feature/record-comments
• feature/runtime-contract-loader
• feature/string-system-call-updates
• feature/template-composer
• feature/unified-numeric-systemcalls
• feature/update-csharp-support-docs
• fill-docs
• fix-examples
• fix-inline
• fix-oracle-callback-verification
• fix-static-in-non-contract
• fix-write-in-try-local-storage
• fix.div-overflow-checking
• fix.negate-checked
• fix.obsolete-XUnitVerifier
• fix.remove-some-compiler-warnings
• fix.some-tests-warnings
• fix.warning-AD0001
• fix/analyzer-netstandard2
• fix/compiler-forward-contract-deps
• fix/github-actions-net9-only
• fix/guard-helpers-use-assert-false
• fix/initslot-parameters
• fix/nullable-warnings
• fix/ordered-release-workflow
• fix/pr-1345-improvements-dev
• fix/remove-repository-restriction
• fix/supported-standards-warning
• fix/template-debug-argument-issue
• fix/update-deprecated-release-action
• format-system
• happy-new-year
• improve-gas-doc
• improve-storage-analyzer-docs
• improve-write-in-try-analyzer
• inc-dec
• increase-decrease
• local-storage
• master
• move-order
• net-10
• notary-assisted
• notary-tests
• optimize-dumpnef
• optimize-syntax-probes
• optimize.foreach-explicit-type
• pr1-core-deployment-framework
• readme
• refactor/bigint-range-helper
• refactor/common-numeric-helpers
• remove-opcode-line
• remove.compiling-warning
• reorg-tests
• resolve-warnings
• return-in-try
• safe-supports-property
• safer-example
• simplify-examples
• simplify-initializer
• skip-ut
• some-style
• statement-stack
• test-catch-class
• test-misc-expression
• test-optimizer
• test-uncovered
• to-3.8.1
• unchecked
• update-globals
• update-neo
• update-neo-dev
• update-neo-dev-submodule
• update-neo-master
• update-neo-submodule-dev
• update-packages
• update-sub-module
• update-submodule
• update-submodule-dev
• update-testing-native
• v3.7.4.1
• version

Build # 15340193278

Build Type

Pull #1321

github

Committed by web-flow

Commit Message

Merge b5030c967 into 4eb2b2364

Pull Request Pull Request #1321: Add comprehensive Neo N3 Smart Contract formal specification

Run Details

5399 of 7724 branches covered (69.9%)

Branch coverage included in aggregate %.

14282 of 18065 relevant lines covered (79.06%)

18005.11 hits per line