source-academy / js-slang / 13576710747 / 1

77%

master: 77%

push

github

Remove Non-Det Interpreter (#1725)

* Remove non-det

* Continue removing non-det

* Update eslint and fix linting errors

* Fix bug where cleaning docs would remove the gitignore

* Add ts-check and tseslint helper as requested

* Add explanation for ts-expect-error

* Remove jsdoc stuff pertaining to non-det

* Remove from non-det from the script

* Replace docs scripts with javascript code

* Misc change

* Get make to output to stdio

* Update to use the proper functions from child_process

* Add documentation and silent option for prepare

* Make autocomplete exit with error code

* Put the query parameter back for module importing

* Update eslint import

* Merge from main

* Update docs

* Update scm-slang

---------

Co-authored-by: Kyriel Abad <abadkyriel@gmail.com>

3571 of 4770 branches covered (74.86%)

Branch coverage included in aggregate %.

11154 of 13352 relevant lines covered (83.54%)

138108.79 hits per line