1
61%
master: 61%

Ran 24 Apr 2019 07:17AM UTC

Files 38

Run time 1s

Badge

Embed ▾

Committed 24 Apr 2019 07:13AM UTC coverage: 82.038% (+0.1%) from 81.918%

Job # 1247.1

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Warn when important names are shadowed by re-definitions (#530)

* Warn when important names are shadowed by redefinitions

In the order of importance:
  contract parameters,
  fields,
  transition parameters,
  definitions in a transition
When any of these shadows a name that is of more importance, warn.

This resolves the second part of #522.

* Fix simple-dex and add a separate copy for shadow warn testing

Run Details

3535 of 4309 relevant lines covered (82.04%)

10630.92 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1247.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1247.1

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

README BADGES
x