1
61%
master: 61%

Ran 25 Apr 2019 11:24AM UTC

Files 39

Run time 2s

Badge

Embed ▾

Committed 25 Apr 2019 11:20AM UTC coverage: 80.995%. Remained the same

Job # 1276.1

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Disallow special names to be created in a contract (#540)

This PR disallows creating new names (defining via assignments or declaring fields / parameters) that being with `_`. Only scilla in-built special names (such as `_balance`, `_sender` etc) will be allowed.

* Disallow special names to be created in a contract

* Fix for underscored bound variables in pattern-matching

* Allow e.g. map[key] := _sender

* Add test for inplace map update

Run Details

3874 of 4783 relevant lines covered (81.0%)

10612.78 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1276.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1276.1

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

README BADGES
x