ScorexFoundation / sigmastate-interpreter

33%

develop: 35%

LAST BUILD ON BRANCH i609-formal-verification

branch: i609-formal-verification

CHANGE BRANCH

x

Reset

• i609-formal-verification
• add-costing-spec-tests
• add-coveralls
• add-ergoboxassets-trait
• add-ergotree-template
• additional-dht-test
• addresses
• aot-jit-switch
• avltree-insert-test
• benchmarks
• cleanup-impl
• code-better
• comparison-tests
• cost-vectors
• develop
• direct-tree-eval
• distributed-sigs
• distributed-sigs-improvs
• edex-token
• enable-scoverage-fix-spam
• fix-cast-exceptions
• fix-move-crossScalaVersions
• fixes-toward-v5.0
• full-coverage
• i1095-intplusmonoidctor
• i1132
• i664-todo-coverage
• i688-memory-bound-ir
• master
• migrate-ci-tests-to-ga
• more-opts
• more-sigmadsltest-j19
• new-eval
• new-spec
• optimizations
• optimize-mem-footprint
• posteer-sources
• refactor-feature-test
• regression-tests
• remove-tagged-var
• rename-ergotree-root
• scala-docs
• scalahub-develop-patch-1
• scalahub-patch-1
• serialize
• serializer-opt
• sign-message
• test-vectors
• towards-v4.0
• v2.2
• v3.2.0
• v3.2.1
• v3.3.0
• v3.3.1
• v3.3.2
• v3.3.3
• v4.0
• v4.0-refresh
• versioned-tests
• zerojoin

Build # 4552

Build Type

Pull #617

travis-ci

Committed by web-flow

Commit Message

add adding-new-contract.md;

Pull Request Pull Request #617: Proving contract properties (formal verification)

Run Details

5531 of 16773 relevant lines covered (32.98%)

0.33 hits per line