1472
61%

Ran 26 Jul 2019 03:09PM UTC

Jobs 2

Files 41

Run time 8s

Badge

Embed ▾

pending completion

Build # 1472

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%)

31769.75 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	1472.1 (OCAML_VERSION=4.07.1)	26 Jul 2019 03:09PM UTC	0	81.52	Travis Job 1472.1
2	1472.2 (OCAML_VERSION=4.06.1)	26 Jul 2019 03:09PM UTC	0	81.52	Travis Job 1472.2

Source Files on build 1472

Detailed source file information is not available for this build.

Zilliqa / scilla / 1472
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1472

Zilliqa / scilla / 1472 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1472

Zilliqa / scilla / 1472
61%

README BADGES
x