1
61%
master: 61%

Ran 07 Mar 2019 10:38AM UTC

Files 37

Run time 3s

Badge

Embed ▾

Committed 07 Mar 2019 10:35AM UTC coverage: 80.51% (-0.1%) from 80.623%

Job # 1121.1

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

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1121.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1121.1

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

README BADGES
x