2
61%
master: 61%

Ran 31 Mar 2021 04:09AM UTC

Files 44

Run time 4s

Badge

Embed ▾

Committed 31 Mar 2021 04:03AM UTC coverage: 59.818% (+0.02%) from 59.802%

Job # OCAML_VERSION=4.10.1

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Address types not allowed in incoming json files, or in map and ADT literals (#974)

* Init files not allowed to contain address types.

* Add address_list_as_cparam.scilla to checker tests

* Disallow address types in init files

* Illegal list address type in init json

* Disallow address types in message jsons

* Map literals and constructor type arguments must not contain address types

* fmt

Run Details

4076 of 6814 relevant lines covered (59.82%)

13925.77 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2605.2 (OCAML_VERSION=4.10.1)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2605.2 (OCAML_VERSION=4.10.1)

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

README BADGES
x