diff --git a/qilin.pta/src/qilin/pta/toolkits/zipper/Main.java b/qilin.pta/src/qilin/pta/toolkits/zipper/Main.java index 2b9bb93..40ddeb3 100644 --- a/qilin.pta/src/qilin/pta/toolkits/zipper/Main.java +++ b/qilin.pta/src/qilin/pta/toolkits/zipper/Main.java @@ -24,7 +24,6 @@ import qilin.util.Stopwatch; import soot.SootMethod; -import java.util.Comparator; import java.util.Set; public class Main { @@ -49,11 +48,6 @@ public static void run(PTA pta, Set zipperPCMOutput) { System.out.println("Writing Zipper precision-critical methods ...\n"); System.out.println(); - writeZipperResults(pcm, zipperPCMOutput); + zipperPCMOutput.addAll(pcm); } - - private static void writeZipperResults(final Set results, final Set outputSet) { - results.stream().sorted(Comparator.comparing(Object::toString)).forEach(outputSet::add); - } - }