source-academy / js-slang / 13576710747

77%

Build Type

push

github

Committed by web-flow

Commit Message

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>

Run Details

3571 of 4770 branches covered (74.86%)

Branch coverage included in aggregate %.

22 of 32 new or added lines in 7 files covered. (68.75%)

7 existing lines in 4 files now uncovered.

11154 of 13352 relevant lines covered (83.54%)

138108.79 hits per line