private boolean removeCharacters(LocalSearchObjective<TestChromosome> objective, TestChromosome test, StringPrimitiveStatement p, int statement) { boolean improvement = false; backup(test, p); for (int i = oldValue.length() - 1; i >= 0; i--) { String newString = oldValue.substring(0, i) + oldValue.substring(i + 1); p.setValue(newString); logger.info(" " + i + " " + oldValue + "/" + oldValue.length() + " -> " + newString + "/" + newString.length()); if (objective.hasImproved(test)) { logger.info("Has improved"); backup(test, p); improvement = true; } else { logger.info("Has not improved"); restore(test, p); } if(LocalSearchBudget.getInstance().isFinished()) break; } return improvement; }
char[] characters = oldValue.toCharArray(); for (char replacement = 9; replacement < 128; replacement++) { if(LocalSearchBudget.getInstance().isFinished()) return improvement;
char[] characters = Arrays.copyOf(oldValue.toCharArray(), position + 1); for (char replacement = 9; replacement < 128; replacement++) { if(LocalSearchBudget.getInstance().isFinished()) return improvement; char[] characters = (" " + oldValue).toCharArray(); for (char replacement = 9; replacement < 128; replacement++) { if(LocalSearchBudget.getInstance().isFinished()) return improvement;
&& !LocalSearchBudget.getInstance().isFinished()) { logger.info("Current probe on statement " + statement + ": " + currentProbe);
if (LocalSearchBudget.getInstance().isFinished()) break;
if(LocalSearchBudget.getInstance().isFinished()) break;
break; if (LocalSearchBudget.getInstance().isFinished()) { logger.debug("Local search budget used up, exiting local search"); break;
while (hasNextBranchCondition() && !LocalSearchBudget.getInstance().isFinished()) { logger.info("Branches remaining: " + unsolvedBranchConditions.size());
if (LocalSearchBudget.getInstance().isFinished()) break;
BranchCondition condition = collectedPathCondition.get(conditionIndex); if (LocalSearchBudget.getInstance().isFinished()) { logger.debug("Local search budget used up: " + Properties.LOCAL_SEARCH_BUDGET_TYPE); break;
if (LocalSearchBudget.getInstance().isFinished()) { logger.debug("Local search budget used up: " + Properties.LOCAL_SEARCH_BUDGET_TYPE); break;