• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

Zilliqa / scilla / 2982
61%

Build:
DEFAULT BRANCH: master
Ran 27 Jul 2022 02:06PM UTC
Jobs 4
Files 44
Run time 15min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

pending completion
2982

push

travis-ci-com

web-flow
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

4273 of 7121 relevant lines covered (60.01%)

52180.07 hits per line

Jobs
ID Job ID Ran Files Coverage
1 2982.1 (OCAML_VERSION=4.14.0) 27 Jul 2022 02:06PM UTC 0
60.01
Travis Job 2982.1
2 2982.2 (OCAML_VERSION=4.11.2) 27 Jul 2022 02:07PM UTC 0
60.01
Travis Job 2982.2
3 2982.3 (OCAML_VERSION=4.14.0) 27 Jul 2022 02:13PM UTC 0
60.01
Travis Job 2982.3
4 2982.4 (OCAML_VERSION=4.11.2) 27 Jul 2022 02:21PM UTC 0
60.01
Travis Job 2982.4
Source Files on build 2982
Detailed source file information is not available for this build.
  • Back to Repo
  • Build #2982
  • 5b5ae68d on github
  • Prev Build on master (#2976)
  • Next Build on master (#2984)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc