source-academy / js-slang / 10805762983

77%

push

github

CSE Machine: Avoid pushing unnecessary env instructions (exhaustive version) (#1706)

* check if env instruction is necessary

* Add test cases

* Implement helper functions

* Fix format

* Cache isEnvDependent results

* Delete unnecessary comments

* Speed up env dependent checking, approach 2

* merge

* Implement exhaustive environment depedent logic 1

* Modify test cases

* resolve conflict

* fix format

* remove obsolete test cases

* Fix equality check

* Clean up and add a test case

* remove incompatible instr checks

* Double checked the logic

* Fix format

* Remove unused logic and update test cases

---------

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

3462 of 4619 branches covered (74.95%)

Branch coverage included in aggregate %.

76 of 76 new or added lines in 2 files covered. (100.0%)

10983 of 13081 relevant lines covered (83.96%)

141356.75 hits per line