2990
61%

Ran 28 Jul 2022 10:42AM UTC

Jobs 4

Files 44

Run time 9min

Badge

Embed ▾

pending completion

Build # 2990

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

Run Details

4273 of 7121 relevant lines covered (60.01%)

52180.07 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	2990.1 (OCAML_VERSION=4.14.0)	28 Jul 2022 10:42AM UTC	60.01	Travis Job 2990.1
2	2990.2 (OCAML_VERSION=4.11.2)	28 Jul 2022 10:46AM UTC	60.01	Travis Job 2990.2
3	2990.3 (OCAML_VERSION=4.14.0)	28 Jul 2022 10:48AM UTC	60.01	Travis Job 2990.3
4	2990.4 (OCAML_VERSION=4.11.2)	28 Jul 2022 10:51AM UTC	60.01	Travis Job 2990.4

Source Files on build 2990

Detailed source file information is not available for this build.

Zilliqa / scilla / 2990
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2990

Zilliqa / scilla / 2990 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2990

Zilliqa / scilla / 2990
61%

README BADGES
x