1363
61%

Ran 03 Jun 2019 10:41AM UTC

Jobs 2

Files 39

Run time 14s

Badge

Embed ▾

pending completion

Build # 1363

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Typechecking and evaluation of procedures (#565)

* Remove global scope for procedures when called from transitions

* Typechecking of procedures

* Fix indentation

* Procedures added to evaluator

* Removed unnecessary TODO

* Fixed gas charge for procedure calls

* Changed misleading comment

* Oops

Run Details

5265 of 6430 relevant lines covered (81.88%)

17433.6 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	1363.1 (OCAML_VERSION=4.06.1)	03 Jun 2019 10:41AM UTC	0	81.88	Travis Job 1363.1
2	1363.2 (OCAML_VERSION=4.07.1)	03 Jun 2019 10:41AM UTC	0	81.88	Travis Job 1363.2

Source Files on build 1363

Detailed source file information is not available for this build.

Zilliqa / scilla / 1363
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1363

Zilliqa / scilla / 1363 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1363

Zilliqa / scilla / 1363
61%

README BADGES
x