source-academy / js-slang / 2501

77%

push

travis-ci

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

248 of 248 new or added lines in 8 files covered. (100.0%)

4278 of 4630 relevant lines covered (92.4%)

103524.5 hits per line