crawljax/crawljax — pull request #427 by erwinvaneyk (2014-06-20 08:50:28+00:00)
Title: Fixes #422

After detecting clone state and switching to the original state, it checks if the candidate elements have been parsed (!= null). If this is not the case and the clone state reached does not also lie on the maximal depth, retrieve the candidate elements of the state.