Cleanup: Remove infinite loop detector?
Closed this issue · 1 comments
martin-henz commented
Let's consider removing the infinite loop detector in
src/infiniteLoops
The tool was a successful student project, but it's not clear to me whether we should keep it. It adds considerable complexity to js-slang. Any views?
martin-henz commented
This seems to be a popular feature. Let's keep it!