2982
61%

Ran 27 Jul 2022 02:06PM UTC

Jobs 4

Files 44

Run time 15min

Badge

Embed ▾

pending completion

Build # 2982

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

DeadCodeDetector: Handle more cases with unused ADT constructors (#1121)

Consider an ADT with some unused constructors. If this ADT is not used
as an argument of transition, its constructors will be reported as dead.
Even if this ADT is a part of another ADT (which is also must not be
used in arguments of transitions).

Minimal examples that illustrate the implemented changes:

```
type A =
| A1 (* A1 is unused, but we don't report it, because A is used in
        constructors of B, which comes from transition `foo`. *)
type B =
| B1 of A

transition foo(b : B)
end
```

```
type A =
| A1 (* Report A1, because it is unused and neither A and B are used in
        arguments of transitions. *)
type B =
| B1 of A

procedure bar(b : B)
end
```

Closes #1118

Run Details

4273 of 7121 relevant lines covered (60.01%)

52180.07 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	2982.1 (OCAML_VERSION=4.14.0)	27 Jul 2022 02:06PM UTC	60.01	Travis Job 2982.1
2	2982.2 (OCAML_VERSION=4.11.2)	27 Jul 2022 02:07PM UTC	60.01	Travis Job 2982.2
3	2982.3 (OCAML_VERSION=4.14.0)	27 Jul 2022 02:13PM UTC	60.01	Travis Job 2982.3
4	2982.4 (OCAML_VERSION=4.11.2)	27 Jul 2022 02:21PM UTC	60.01	Travis Job 2982.4

Source Files on build 2982

Detailed source file information is not available for this build.

Zilliqa / scilla / 2982
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2982

Zilliqa / scilla / 2982 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2982

Zilliqa / scilla / 2982
61%

README BADGES
x