private void checkExplodedGraphTooBig(ProgramState programState) { // Arbitrary formula to avoid out of memory errors if (steps + workList.size() > maxSteps() / 2 && programState.constraintsSize() > 75) { throw new ExplodedGraphTooBigException("Program state constraints are too big : stopping Symbolic Execution for method " + methodTree.simpleName().name() + " in class " + methodTree.symbol().owner().name()); } }
private void checkExplodedGraphTooBig(ProgramState programState) { // Arbitrary formula to avoid out of memory errors if (steps + workList.size() > maxSteps() / 2 && programState.constraintsSize() > 75) { throw new ExplodedGraphTooBigException("Program state constraints are too big : stopping Symbolic Execution for method " + methodTree.simpleName().name() + " in class " + methodTree.symbol().owner().name()); } }
private void throwMaxSteps(MethodTree tree) { String message = String.format("reached limit of %d steps for method %s#%d in class %s", maxSteps(), tree.simpleName().name(), tree.simpleName().firstToken().line(), tree.symbol().owner().name()); MaximumStepsReachedException cause = new MaximumStepsReachedException(message); interrupted(cause); throw cause; }
private void throwMaxSteps(MethodTree tree) { String message = String.format("reached limit of %d steps for method %s#%d in class %s", maxSteps(), tree.simpleName().name(), tree.simpleName().firstToken().line(), tree.symbol().owner().name()); MaximumStepsReachedException cause = new MaximumStepsReachedException(message); interrupted(cause); throw cause; }
if (steps > maxSteps()) { throwMaxSteps(tree);
if (steps > maxSteps()) { throwMaxSteps(tree);