2
61%
master: 61%

Ran 03 Jun 2019 10:41AM UTC

Files 39

Run time 2s

Badge

Embed ▾

Committed 03 Jun 2019 10:38AM UTC coverage: 81.882% (+0.3%) from 81.586%

Job # OCAML_VERSION=4.07.1

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

Coverage Stats

5265 of 6430 relevant lines covered (81.88%)

8716.8 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1363.2 (OCAML_VERSION=4.07.1)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1363.2 (OCAML_VERSION=4.07.1)

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

README BADGES
x