source-academy / js-slang / 19076297059

77%

push

github

Language options (#1757)

* Add language options, any checker and tests

* Use Record instead of Map

* Added tests for any checker

* Added tests for type declaration

* Fix incorrect merge conflict resolution

* Fix incorrect test cases initialization

* Fix compile errors post-merge

* Fix line number shift

---------

Co-authored-by: Richard Dominick <34370238+RichDom2185@users.noreply.github.com>

2796 of 3848 branches covered (72.66%)

Branch coverage included in aggregate %.

8265 of 10298 relevant lines covered (80.26%)

162171.33 hits per line