2952
61%

Ran 22 Jul 2022 12:35PM UTC

Jobs 4

Files 44

Run time 3min

Badge

Embed ▾

pending completion

Build # 2952

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

DeadCodeDetector: Handle unused ADT constructors (#1091)

* [dcd] Report unused ADT constructors

To make this analysis less noisy we report unused constructors only when
ADT itself is used and, otherwise, if at least one constructor is used,
the ADT won't be reported.

If we see, that an ADT can be passed from another contract, we should
not treat it and its constructors as unused.

We check subtypes in adt as well.
This is required to handle a case when we have for example `List
UserADT`. So we need to track `UserADT` as unused.
`listiter.scilla` test covers this case.

Closes #1085

Co-authored-by: Anton Trunov <anton@zilliqa.com>

Run Details

4273 of 7120 relevant lines covered (60.01%)

52152.09 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	2952.1 (OCAML_VERSION=4.14.0)	22 Jul 2022 12:36PM UTC	60.01	Travis Job 2952.1
2	2952.2 (OCAML_VERSION=4.11.2)	22 Jul 2022 12:36PM UTC	60.01	Travis Job 2952.2
3	2952.3 (OCAML_VERSION=4.14.0)	22 Jul 2022 12:35PM UTC	60.01	Travis Job 2952.3
4	2952.4 (OCAML_VERSION=4.11.2)	22 Jul 2022 12:39PM UTC	60.01	Travis Job 2952.4

Source Files on build 2952

Detailed source file information is not available for this build.

Zilliqa / scilla / 2952
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2952

Zilliqa / scilla / 2952 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2952

Zilliqa / scilla / 2952
61%

README BADGES
x