819
61%

Ran 24 Jan 2019 04:29AM UTC

Jobs 1

Files 36

Run time 2s

Badge

Embed ▾

pending completion

Build # 819

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Static warning against multiple messages in a send statement (#399)

* add an analysis to check for multiple send messages

* add pattern match binders to env

* Add external and recusion libs to env

* fix bug in lub

* fix bug in Utils.ml pointed out in review

Run Details

3063 of 3871 relevant lines covered (79.13%)

9766.81 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	819.1	24 Jan 2019 04:29AM UTC	0	79.13	Travis Job 819.1

Source Files on build 819

Detailed source file information is not available for this build.

Zilliqa / scilla / 819
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 819

Zilliqa / scilla / 819 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 819

Zilliqa / scilla / 819
61%

README BADGES
x