remove factspecific

canliture · Sep 7, 2022 · 0a2e457 · 0a2e457
1 parent 9618406
commit 0a2e457
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/boomerangScope/src/main/java/boomerang/scene/sparse/eval/EvalPrinter.java b/boomerangScope/src/main/java/boomerang/scene/sparse/eval/EvalPrinter.java
@@ -45,8 +45,6 @@ public void printPropagationCount() {
     counters.add(PropagationCounter.getInstance(SparseCFGCache.SparsificationStrategy.NONE));
     counters.add(PropagationCounter.getInstance(SparseCFGCache.SparsificationStrategy.TYPE_BASED));
     counters.add(PropagationCounter.getInstance(SparseCFGCache.SparsificationStrategy.ALIAS_AWARE));
-    counters.add(
-        PropagationCounter.getInstance(SparseCFGCache.SparsificationStrategy.FACT_SPECIFIC));
     try (FileWriter writer = new FileWriter(evalName + "-" + "propCount.csv")) {
       StringBuilder str = new StringBuilder();
       for (PropagationCounter counter : counters) {