1739
61%

Ran 08 Nov 2019 03:06PM UTC

Jobs 2

Files 45

Run time 12s

Badge

Embed ▾

pending completion

Build # 1739

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

Run Details

5511 of 7299 relevant lines covered (75.5%)

101373.5 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	1739.1 (OCAML_VERSION=4.07.1)	08 Nov 2019 03:06PM UTC	0	75.5	Travis Job 1739.1
2	1739.2 (OCAML_VERSION=4.06.1)	08 Nov 2019 03:06PM UTC	0	75.5	Travis Job 1739.2

Source Files on build 1739

Detailed source file information is not available for this build.

Zilliqa / scilla / 1739
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1739

Zilliqa / scilla / 1739 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1739

Zilliqa / scilla / 1739
61%

README BADGES
x