2
61%
master: 61%

Ran 26 Jul 2019 03:28PM UTC

Files 41

Run time 4s

Badge

Embed ▾

Committed 26 Jul 2019 03:24PM UTC coverage: 74.262% (-7.3%) from 81.524%

Job # OCAML_VERSION=4.06.1

Build Type

push

travis-ci-com

Committed by

anton-trunov

Commit Message

Introduce foldk, rewrite ListUtils (#608)

* Introduce list_foldk and nat_foldk folding primitives supporting early termination

* Add list_foldl_while to ListUtils and nat_fold_while to NatUtils

* Reimplement list_forall, list_eq, list_find, list_zip_with, list_nth using list_foldk to take advantage of early termination

* Reimplement nat_eq using nat_foldk to take advantage of early termination

* Stylistic changes, eta-reduction, lifting of constants to reduce gas usage for ListUtils and NatUtils

Coverage Stats

5029 of 6772 relevant lines covered (74.26%)

14672.22 hits per line

Zilliqa / scilla / 1474 / 2
61%
master: 61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1474.2 (OCAML_VERSION=4.06.1)

Zilliqa / scilla / 1474 / 2 61% master: 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1474.2 (OCAML_VERSION=4.06.1)

Zilliqa / scilla / 1474 / 2
61%
master: 61%

README BADGES
x