ScorexFoundation / sigmastate-interpreter / 4552
33%
develop: 35%

LAST BUILD BRANCH: i324-typer-layer
DEFAULT BRANCH: develop
Ran
Jobs 1
Files 238
Run time 14s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
4552

Pull #617

travis-ci

web-flow 
add adding-new-contract.md;
Pull Request #617: Proving contract properties (formal verification)

5531 of 16773 relevant lines covered (32.98%)

0.33 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
41.34
 0.61% library-impl/src/main/scala/special/collection/CollsOverArrays.scala
1
0.0
 0.0% sigmastate/src/main/scala/org/ergoplatform/dsl/ContractSpec.scala
1
39.73
 -0.68% sigmastate/src/main/scala/sigmastate/serialization/DataJsonEncoder.scala
1
41.33
 -0.12% sigmastate/src/main/scala/sigmastate/types.scala
Jobs
ID Job ID Ran Files Coverage
3 4552.3 238
32.98
 Travis Job 4552.3
Source Files on build 4552