2
61%
master: 61%

Ran 28 May 2020 02:37PM UTC

Files 41

Run time 10min

Badge

Embed ▾

Committed 28 May 2020 02:31PM UTC coverage: 55.491%. Remained the same

Job # OCAML_VERSION=4.08.1

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Refactor Recursion.ml (#849)

* Remove unneeded @@

* Recursion.ml: remove unused definitions

* Recursion.ml: refactor recursion_lib_entry and recursion_adt_constructor_arg

recursion_adt_constructor_arg does not need to rebuild its input type,
it just needs to check its well-formedness

* Recursion.ml: recursion_library, shuffle params

Run Details

2946 of 5309 relevant lines covered (55.49%)

14186.54 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2274.2 (OCAML_VERSION=4.08.1)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2274.2 (OCAML_VERSION=4.08.1)

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

README BADGES
x