2605
61%

Ran 31 Mar 2021 04:09AM UTC

Jobs 4

Files 44

Run time 39s

Badge

Embed ▾

pending completion

Build # 2605

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%)

55703.08 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	2605.1 (OCAML_VERSION=4.11.1)	31 Mar 2021 04:09AM UTC	59.82	Travis Job 2605.1
2	2605.2 (OCAML_VERSION=4.10.1)	31 Mar 2021 04:09AM UTC	59.82	Travis Job 2605.2
3	2605.3 (OCAML_VERSION=4.09.1)	31 Mar 2021 04:10AM UTC	59.82	Travis Job 2605.3
4	2605.4 (OCAML_VERSION=4.08.1)	31 Mar 2021 04:09AM UTC	59.82	Travis Job 2605.4

Source Files on build 2605

Detailed source file information is not available for this build.

Zilliqa / scilla / 2605
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2605

Zilliqa / scilla / 2605 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2605

Zilliqa / scilla / 2605
61%

README BADGES
x