• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

Zilliqa / scilla / 1348
61%

Build:
DEFAULT BRANCH: master
Ran 23 May 2019 08:03PM UTC
Jobs 2
Files 39
Run time 13s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

pending completion
1348

push

travis-ci-com

web-flow
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

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.
  • Back to Repo
  • Build #1348
  • 5a4ac2e6 on github
  • Prev Build on master (#1346)
  • Next Build on master (#1350)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc