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

source-academy / js-slang / 2501 / 1
77%
master: 77%

Build:
DEFAULT BRANCH: master
Ran 05 Apr 2020 03:41AM UTC
Files 61
Run time 4s
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

05 Apr 2020 03:37AM UTC coverage: 89.526% (+0.2%) from 89.342%
2501.1

push

travis-ci

web-flow
Add non-deterministic Source 3 (#478)

* Add support for non-deterministic Source 3

Non deterministic Source 3 is a version of Source 3 with a built-in search mechanism.
Programmers can specify sets of values, and requirements that the values must satisfy.
The evaluator then automatically identifies the values that meet the requirements.

* Fix function printing bug in non-det REPL (#30)

* fix repl printing bug

* Fix block scoping, and add tests

* Test more cases where errors are thrown

Test:
- Reassigning to constants
- Wrong number of arguments to function application
- Accessing an un-declared variable
- Having a non-boolean value as the predicate of a condtional expr
- Applying unary operator on wrong argument type
- Applying binary operator on wrong argument type

* Move require to the prelude (#33)

* Move require to prelude

* add tests and remove unused code (#34)

Adds tests for uncovered lines.

* add back return value unwrapping

* Add variant property in Context

* Fix code style issue

* Make variant property non-optional

* make requested changes

Co-authored-by: Arsalan Cheema <arsalanc.v2@gmail.com>
Co-authored-by: martin-henz <henz@comp.nus.edu.sg>

1312 of 1614 branches covered (81.29%)

Branch coverage included in aggregate %.

4278 of 4630 relevant lines covered (92.4%)

103524.5 hits per line

Source Files on job 2501.1
  • Tree
  • List 0
  • Changed 59
  • Source Changed 7
  • Coverage Changed 59
Coverage ∆ File Lines Relevant Covered Missed Hits/Line Branch Hits Branch Misses
  • Back to Build 2189
  • Travis Job 2501.1
  • 5673b8c9 on github
  • Prev Job for on master (#2484.1)
  • Next Job for on master (#2516.1)
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