1447
61%

Ran 17 Jul 2019 05:49AM UTC

Jobs 2

Files 41

Run time 13s

Badge

Embed ▾

pending completion

Build # 1447

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Use containers to track growth of lists (#606)

* Track list iterations in a new Container sizeref

* A few generalizations to the recurrence solver.

Note that with these changes, we are doing slightly worse
in reporting the result size of `list_tail.scilexp` which
previously had "equal to input list size", but now is
"equal to input list size + 1", while in reality `list_tail`
actually reduces the size by 1.

This is arising because of adding a `Container` and a simple
constant on two branches of the pattern match in `list_tail`.

This also affects, in turn, `list_eq` which uses `list_tail`.

Run Details

5493 of 6739 relevant lines covered (81.51%)

17405.31 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	1447.1 (OCAML_VERSION=4.07.1)	17 Jul 2019 05:49AM UTC	0	81.51	Travis Job 1447.1
2	1447.2 (OCAML_VERSION=4.06.1)	17 Jul 2019 05:49AM UTC	0	81.51	Travis Job 1447.2

Source Files on build 1447

Detailed source file information is not available for this build.

Zilliqa / scilla / 1447
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1447

Zilliqa / scilla / 1447 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1447

Zilliqa / scilla / 1447
61%

README BADGES
x