source-academy / js-slang / 3543

77%

push

travis-ci

Fix backtracking for Source 3 non-det variant (#690)

* Remove deep copying from amb

* Add undefineVariable method, and use it in evaluating declarations

* Modify variable assignment

* Modify function declaration

* Do not pop environment for primitive (non source) functions

* Add additional flag to getVariable, so that un-assigned variables can be looked up, for backtracking

* Remove deep copying from ambR

* Change backtracking in array assignment

* Add language parsing example as a test case

* Add for loop test case

Co-authored-by: - <->
Co-authored-by: martin-henz <henz@comp.nus.edu.sg>

2482 of 3260 branches covered (76.13%)

Branch coverage included in aggregate %.

6675 of 7691 relevant lines covered (86.79%)

2028037.7 hits per line