2712
61%

Ran 22 Jun 2021 05:27PM UTC

Jobs 5

Files 44

Run time 4min

Badge

Embed ▾

pending completion

Build # 2712

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Address type casts (#1020)

* Type casts ported from stale branch. Ready for testing

* Construct type cast AST nodes in the parser

* Cast tests added to checker tests

* Added missing gold files

* Runner tests added

* fmt

* Gas charge of dynamic typechecks of transition parameters

* fmt

* Updated init ipc mode gold files

Run Details

4150 of 6881 relevant lines covered (60.31%)

74639.48 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	2712.1 (OCAML_VERSION=4.12.0)	22 Jun 2021 05:28PM UTC	60.31	Travis Job 2712.1
2	2712.2 (OCAML_VERSION=4.11.1)	22 Jun 2021 05:27PM UTC	60.31	Travis Job 2712.2
3	2712.3 (OCAML_VERSION=4.10.1)	22 Jun 2021 05:28PM UTC	60.31	Travis Job 2712.3
4	2712.4 (OCAML_VERSION=4.09.1)	22 Jun 2021 05:27PM UTC	60.31	Travis Job 2712.4
5	2712.5 (OCAML_VERSION=4.08.1)	22 Jun 2021 05:27PM UTC	60.31	Travis Job 2712.5

Source Files on build 2712

Detailed source file information is not available for this build.

Zilliqa / scilla / 2712
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2712

Zilliqa / scilla / 2712 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 2712

Zilliqa / scilla / 2712
61%

README BADGES
x