txpull / solgo

90%

main: 90%

LAST BUILD ON BRANCH fixes

branch: fixes

CHANGE BRANCH

x

Reset

Sync Branches

• fixes
• 23-opcode
• 25-proxy-contract-check
• 26-multi-contract-abi
• 4-multiline-comments
• 41-ast-pb
• 51-ir-contract-type-discovery
• 6-complex-abi-types
• 6-enum-abi-support
• 80-thread-safe-solc
• abi-parser
• abi-v2
• ai-prototype
• ast-enum
• ast-resolver
• ast/pb
• ast/reference-resolver
• ast/resolver
• ast/statements
• ast/tuple/fix
• audit
• basic-ast
• bugfix-1
• bytecode
• bytecode-constructor
• bytecode-unit
• cfg-package
• code-coverage
• contract-multi-comments
• dependabot/go_modules/github.com/libp2p/go-libp2p-0.28.2
• detector
• docs
• eip
• eip-discovery
• eip-to-standards
• fix-interface-solc
• fix/ast
• fix/contract-listener
• hotfix
• intermediate-response
• license-fix
• main
• metadata/urls
• nodes
• opcodes
• pre-release-cleanups
• readme-update
• refactor-package-organization
• refs/tags/v0.1.0
• refs/tags/v0.1.1
• refs/tags/v0.1.2
• refs/tags/v0.1.3
• refs/tags/v0.1.4
• refs/tags/v0.1.5
• refs/tags/v0.1.6
• refs/tags/v0.1.7
• refs/tags/v0.1.8
• refs/tags/v0.1.9
• refs/tags/v0.2.0
• refs/tags/v0.2.1
• refs/tags/v0.2.2
• refs/tags/v0.2.3
• rename/solgo
• solc
• solc-select-warn
• source-protos
• struct-array-fix
• syntax-errors
• syntax-errors-unit-tests-basic
• updates-to-look-at-later
• verification-improvements
• verifier

Build # 6011523242

Build Type

Pull #88

github

Committed by 0x19

Commit Message

Increasing verifier coverage and fixing VerifyFromResults

Pull Request Pull Request #88: Topological sort, constructor decompiler improvements, verifier improvements

Run Details

144 of 178 new or added lines in 6 files covered. (80.9%)

20 existing lines in 5 files now uncovered.

11068 of 12356 relevant lines covered (89.58%)

0.97 hits per line