Zilliqa / scilla / 812
79%
master: 61%

LAST BUILD BRANCH: 1099_dcd_arg_fields
DEFAULT BRANCH: master
Ran
Jobs 1
Files 36
Run time 4s
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
812

Pull #399

travis-ci-com

web-flow 
Merge branch 'master' into 374_one_msg_check
Pull Request #399: Static warning against multiple messages in a send statement

61 of 61 new or added lines in 3 files covered. (100.0%)

3064 of 3865 relevant lines covered (79.28%)

9792.8 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
2
57.89
 -0.93% src/lang/base/Utils.ml
8
89.41
 -7.14% src/lang/checkers/SanityChecker.ml

Uncovered Existing Lines

Lines Coverage ∆ File
1
66.91
 0.0% src/lang/checkers/Cashflow.ml
1
80.43
 -2.17% src/lang/base/ContractUtil.ml
Jobs
ID Job ID Ran Files Coverage
1 812.1 36
79.28
 Travis Job 812.1
Source Files on build 812