1
61%
master: 61%

Ran 01 May 2019 09:59AM UTC

Files 39

Run time 1s

Badge

Embed ▾

Committed 01 May 2019 09:56AM UTC coverage: 81.689% (+0.01%) from 81.679%

Job # OCAML_VERSION=4.06.1

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Missing cashflow analysis bugfixes (#549)

* Added -cf-token-field option to scilla-checker

* Bugfix in handling of MapGet in cashflow analyser

* Fixed embarassing bug...

* Updated tests

* Move add_tag_to_ident to CashflowRep structure

* Introduced local function token_fields_contains

* Missing cashflow bugfixes

Coverage Stats

5175 of 6335 relevant lines covered (81.69%)

8602.63 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1313.1 (OCAML_VERSION=4.06.1)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1313.1 (OCAML_VERSION=4.06.1)

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

README BADGES
x