2946
61%

Ran 13 Jul 2022 08:53AM UTC

Jobs 4

Files 44

Run time 1min

Badge

Embed ▾

pending completion

Build # 2946

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

52152.09 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	2946.1 (OCAML_VERSION=4.14.0)	13 Jul 2022 08:53AM UTC	60.01	Travis Job 2946.1
2	2946.2 (OCAML_VERSION=4.11.2)	13 Jul 2022 08:54AM UTC	60.01	Travis Job 2946.2
3	2946.3 (OCAML_VERSION=4.14.0)	13 Jul 2022 08:53AM UTC	60.01	Travis Job 2946.3
4	2946.4 (OCAML_VERSION=4.11.2)	13 Jul 2022 08:54AM UTC	60.01	Travis Job 2946.4

Source Files on build 2946

Detailed source file information is not available for this build.

Zilliqa / scilla / 2946
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2946

Zilliqa / scilla / 2946 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2946

Zilliqa / scilla / 2946
61%

README BADGES
x