1313
61%

Ran 01 May 2019 09:59AM UTC

Jobs 2

Files 39

Run time 5s

Badge

Embed ▾

pending completion

Build # 1313

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

Run Details

5175 of 6335 relevant lines covered (81.69%)

17205.25 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	1313.1 (OCAML_VERSION=4.06.1)	01 May 2019 09:59AM UTC	0	81.69	Travis Job 1313.1
2	1313.2 (OCAML_VERSION=4.07.1)	01 May 2019 09:59AM UTC	0	81.69	Travis Job 1313.2

Source Files on build 1313

Detailed source file information is not available for this build.

Zilliqa / scilla / 1313
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1313

Zilliqa / scilla / 1313 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1313

Zilliqa / scilla / 1313
61%

README BADGES
x