Zilliqa / scilla / 817
79%
master: 61%

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

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

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

3063 of 3871 relevant lines covered (79.13%)

9766.81 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
8
40.0
 -18.82% 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 817.1 36
79.13
 Travis Job 817.1
Source Files on build 817