1
61%
master: 61%

Ran 27 Jul 2022 02:06PM UTC

Files 44

Run time 20s

Badge

Embed ▾

Committed 27 Jul 2022 01:45PM UTC coverage: 60.006%. Remained the same

Job # OCAML_VERSION=4.14.0

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%)

13045.02 hits per line

Zilliqa / scilla / 2982 / 1
61%
master: 61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2982.1 (OCAML_VERSION=4.14.0)

Zilliqa / scilla / 2982 / 1 61% master: 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2982.1 (OCAML_VERSION=4.14.0)

Zilliqa / scilla / 2982 / 1
61%
master: 61%

README BADGES
x