1121
61%

Ran 07 Mar 2019 10:38AM UTC

Jobs 1

Files 37

Run time 4s

Badge

Embed ▾

pending completion

Build # 1121

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

ADT support in cashflow analysis (#480)

* Introduce Adt tag

* Better naming

* Use Core in Cashflow.ml

* Tmp commit

* ctr_to_adt_tag implemented

* Handle constructor applications

* Remove commented-out code

* Handle tags for custom ADTs

* Updated gold files

* Added test of deep ADT patterns in cashflow analysis

Run Details

3284 of 4079 relevant lines covered (80.51%)

9404.32 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	1121.1	07 Mar 2019 10:38AM UTC	0	80.51	Travis Job 1121.1

Source Files on build 1121

Detailed source file information is not available for this build.

Zilliqa / scilla / 1121
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1121

Zilliqa / scilla / 1121 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1121

Zilliqa / scilla / 1121
61%

README BADGES
x