1348
61%

Ran 23 May 2019 08:03PM UTC

Jobs 2

Files 39

Run time 13s

Badge

Embed ▾

pending completion

Build # 1348

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

17161.35 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	1348.1 (OCAML_VERSION=4.06.1)	23 May 2019 08:03PM UTC	0	81.53	Travis Job 1348.1
2	1348.2 (OCAML_VERSION=4.07.1)	23 May 2019 08:03PM UTC	0	81.53	Travis Job 1348.2

Source Files on build 1348

Detailed source file information is not available for this build.

Zilliqa / scilla / 1348
61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1348

Zilliqa / scilla / 1348 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1348

Zilliqa / scilla / 1348
61%

README BADGES
x