2
61%
master: 61%

Ran 13 Jul 2022 08:54AM UTC

Files 44

Run time 3s

Badge

Embed ▾

Committed 13 Jul 2022 08:43AM UTC coverage: 60.014%. Remained the same

Job # OCAML_VERSION=4.11.2

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

[dcd] Fix false positive for an unused ADT in an unused `Bind` (#1093)

We should not report that an ADT is unused if it used in the dead `Bind`
statement:

```
type A =
| A of Uint32

transition dummy ()
  zero = Uint32 0;
  v = A zero
  (* v is unused *)
end
```

In this case the user should fix the unused Bind statement, because they
probably made a mistake there. But the ADT was used in the code.

Run Details

4273 of 7120 relevant lines covered (60.01%)

13038.02 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2946.2 (OCAML_VERSION=4.11.2)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2946.2 (OCAML_VERSION=4.11.2)

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

README BADGES
x