1
61%
master: 61%

Ran 26 Jul 2019 03:09PM UTC

Files 41

Run time 6s

Badge

Embed ▾

Committed 26 Jul 2019 03:04PM UTC coverage: 81.524%. Remained the same

Job # OCAML_VERSION=4.07.1

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Fix nat_fold quadratic complexity (#614)

* Add a stress test for nat_fold (tests fail with "Timeout after 60.0s" on my machine)

* Fix quadratic complexity when folding over large nats
  This happens because when pattern-matching fails it pretty-prints the value it failed to match with, traversing the natural number at each iteration

Run Details

5498 of 6744 relevant lines covered (81.52%)

15884.87 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1472.1 (OCAML_VERSION=4.07.1)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1472.1 (OCAML_VERSION=4.07.1)

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

README BADGES
x