source-academy / js-slang / 3282 / 1

77%

master: 77%

push

travis-ci

Add support for short-circuiting in Infinite Loop Detector (#615)

* 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

* fixed bug with build

* fixed bugs causing false positives

* added support for short-circuiting
... (continued)

2391 of 3156 branches covered (75.76%)

Branch coverage included in aggregate %.

6442 of 7442 relevant lines covered (86.56%)

155667.81 hits per line