2
61%
master: 61%

Ran 08 Nov 2019 03:06PM UTC

Files 45

Run time 2s

Badge

Embed ▾

Committed 08 Nov 2019 02:59PM UTC coverage: 75.503% (+0.08%) from 75.423%

Job # OCAML_VERSION=4.06.1

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

deprecate pattern bind shadowing (#701)

* Deprecate shadowing of bound variables within the same pattern.

Issue #687.

The added test case exposes a bug in cash-flow-analysis, which hangs
when trying to analyze the test. This needs to be fixed before merging.
The test case is hence disabled until then.

* Cashflow analyser now removed pattern vars from local env as their tags are updated

* Update gold file for the testcase

Coverage Stats

5511 of 7299 relevant lines covered (75.5%)

50686.75 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1739.2 (OCAML_VERSION=4.06.1)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1739.2 (OCAML_VERSION=4.06.1)

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

README BADGES
x