source-academy / js-slang / 3104

77%

push

travis-ci

Infinite Loop Detector for Source 1 & 2 (#575)

* added some support for source 1

* fixed arrow functions breaking

* fixed bug which arises only at deployment

* switched to using environments instead of just contexts

* added support for tail call recursion

* added support for logical operators

* added unary operators and started using LiteralValueSymbols

* fixed bug with consecutive function definitions

* added support for globals, and made serializer more general

* refactored serializer and analyzer

* removed cycle detection and refactored many things

* fixed issue with functions with no return

* change test to accept new error message

* change how symbolic executor handles variables and fixed conditional statements

* refactored symbolicExecutor and added tests

* fixed bug with nested conditionals

* fixed bugs with binary operations

* added tests

* fixed bug with conditionals

* fixed bugs with deployment

* fixed bug with inequalities

* fixed bug where shadowed functions were not checked correctly

* changed where detection occured to loosen coupling

* big revamp: now transform code instead of doing runtime checks

* added tests from SICP Chp1

* added tests from SICP Chp1

* cleaning up

* Temporary change because I dont know how to use git

* update to match upstream

* fixed errornous functions causing unhandled exceptions

* fixed misc bugs and improved test cases

* added many comments

* made tests faster

* resolving conflicts

* resolving conflicts

* run linter

* fixed formatting

* updated tests and added docs

* reverted tests and added feature to ignore prelude functions

* changed terminology: infinite loops to infinite recursion

* fixed corner cases causing false positives

* fixed scoping issue in getConsts

Co-authored-by:  <turtle@DESKTOP-GJMMCED.localdomain>
Co-authored-by: martin-henz <henz@comp.nus.edu.sg>

2375 of 3120 branches covered (76.12%)

Branch coverage included in aggregate %.

470 of 470 new or added lines in 6 files covered. (100.0%)

6391 of 7368 relevant lines covered (86.74%)

141822.0 hits per line