2
61%
master: 61%

Ran 28 Jul 2022 10:46AM UTC

Files 44

Run time 19s

Badge

Embed ▾

Committed 28 Jul 2022 10:42AM UTC coverage: 60.006%. Remained the same

Job # OCAML_VERSION=4.11.2

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

DeadCodeDetector: Fix false negatives when names of ADT and its type constructor are the same (#1126)

* [dcd][NFC] Add a unit test with for type functions

* [dcd] Fix false negative when names of ADT and its ctr are the same

Closes #1125

Coverage Stats

4273 of 7121 relevant lines covered (60.01%)

13045.02 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2990.2 (OCAML_VERSION=4.11.2)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2990.2 (OCAML_VERSION=4.11.2)

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

README BADGES
x