source-academy / js-slang / 3961

77%

push

travis-ci

Fix infinite loop detection false positives in functions shadowed by their parameters (#747)

If a function used one of its parameters in a call expression, e.g.
`function f(f){f(1);}`, the symbolic executor does not skip this
function call properly (it is registered as the outer f being
called again).

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

2549 of 3348 branches covered (76.14%)

Branch coverage included in aggregate %.

6847 of 7918 relevant lines covered (86.47%)

2280560.71 hits per line