1311
61%

Ran 01 May 2019 08:26AM UTC

Jobs 2

Files 39

Run time 6s

Badge

Embed ▾

pending completion

Build # 1311

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Cashflow analysis bugfixes and hint option (#517)

* 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

Run Details

5176 of 6337 relevant lines covered (81.68%)

17200.32 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	1311.1 (OCAML_VERSION=4.06.1)	01 May 2019 08:26AM UTC	0	81.68	Travis Job 1311.1
2	1311.2 (OCAML_VERSION=4.07.1)	01 May 2019 08:26AM UTC	0	81.68	Travis Job 1311.2

Source Files on build 1311

Detailed source file information is not available for this build.

Zilliqa / scilla / 1311
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1311

Zilliqa / scilla / 1311 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1311

Zilliqa / scilla / 1311
61%

README BADGES
x