logger.info("Branches remaining: " + unsolvedBranchConditions.size()); TestBranchPair next = getNextBranchCondition(); BranchCondition branch = next.branch;
logger.info("Branches remaining: " + unsolvedBranchConditions.size()); TestBranchPair next = getNextBranchCondition(); BranchCondition branch = next.branch;