Searched refs:getFlattenedAllWithNewlines (Results 1 – 2 of 2) sorted by relevance
108 public String getFlattenedAllWithNewlines() { in getFlattenedAllWithNewlines() method in ExecutionResult
97 writeToFile(outputFile, result.getFlattenedAllWithNewlines()); in handleDivergences()