source-academy / js-slang / 7707793742

77%

push

github

CSE Machine: implement variable declaration check (#1517)

* add validation function to CSE machine

* cleanup: moved all validation functions to src/transpiler

* add test for undefined unreached variables

* checkProgramForUndefinedVariables now considers prelude

* checkProgramForUndefinedVariables now checks for current environment

* reformatting

this is why you don't do --no-verify when pushing

* errors from the validator are now handled normally

* update snapshots

3648 of 4818 branches covered (0.0%)

Branch coverage included in aggregate %.

10908 of 12711 relevant lines covered (85.82%)

276208.54 hits per line