1
61%
master: 61%

Ran 02 May 2019 12:59PM UTC

Files 39

Run time 2s

Badge

Embed ▾

Committed 02 May 2019 12:56PM UTC coverage: 81.712% (+0.02%) from 81.689%

Job # OCAML_VERSION=4.06.1

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Structural changes necessary to add procedures (#550)

* Structural changes necessary to add procedures

* More renamings, and added check to only consider transitions for incoming messages

* Variable renamings

Run Details

5183 of 6343 relevant lines covered (81.71%)

8592.06 hits per line

Zilliqa / scilla / 1321 / 1
61%
master: 61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1321.1 (OCAML_VERSION=4.06.1)

Zilliqa / scilla / 1321 / 1 61% master: 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1321.1 (OCAML_VERSION=4.06.1)

Zilliqa / scilla / 1321 / 1
61%
master: 61%

README BADGES
x