1
61%
master: 61%

Ran 23 May 2019 08:03PM UTC

Files 39

Run time 3s

Badge

Embed ▾

Committed 23 May 2019 07:59PM UTC coverage: 81.529% (+0.03%) from 81.498%

Job # OCAML_VERSION=4.06.1

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Test contracts for procedures (#560)

* Add procedure keyword to emacs mode

* Bugfix in emacs mode

* Added (negative) tests of recursive procedures

* Updated gold files, and added forward definition test

* Positive scoping tests for procedures

* Bugfix : Allow procedure calls without parameters

* Typechecker tests for procedures

* Name clashes test added

* Added test for map arguments to procedures

* Environment test for procedures

* Added env test to test suite

* Shogi contract with procedures

* Added shogi_proc to interpreter tests

Run Details

5182 of 6356 relevant lines covered (81.53%)

8580.67 hits per line

Zilliqa / scilla / 1348 / 1
61%
master: 61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1348.1 (OCAML_VERSION=4.06.1)

Zilliqa / scilla / 1348 / 1 61% master: 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1348.1 (OCAML_VERSION=4.06.1)

Zilliqa / scilla / 1348 / 1
61%
master: 61%

README BADGES
x