#197, slight improvement to heapseparator output

ultimate-pa · Oct 23, 2017 · 6301e5e · 6301e5e
1 parent 5f350b4
commit 6301e5e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/...ni_freiburg/informatik/ultimate/icfgtransformer/heapseparator/HeapSeparatorBenchmark.java b/...ni_freiburg/informatik/ultimate/icfgtransformer/heapseparator/HeapSeparatorBenchmark.java
@@ -105,4 +105,5 @@ public void setNoArrays(final int size) {
 	public void incrementEquivalenceClassCounter() {
 		mNoEquivalenceClasses++;
 	}
+
 }
diff --git a/...de/uni_freiburg/informatik/ultimate/icfgtransformer/heapseparator/NewArrayIdProvider.java b/...de/uni_freiburg/informatik/ultimate/icfgtransformer/heapseparator/NewArrayIdProvider.java
@@ -33,6 +33,7 @@
 import java.util.Map;
 import java.util.Map.Entry;
 import java.util.Set;
+import java.util.stream.Collectors;
 
 import de.uni_freiburg.informatik.ultimate.logic.ApplicationTerm;
 import de.uni_freiburg.informatik.ultimate.logic.Sort;
@@ -428,6 +429,8 @@ public String toString() {
 
 		sb.append(" " + indexPartitions.size() + " partitions: " + indexPartitions);
 		sb.append("\n");
+		sb.append(" partition sizes: " + indexPartitions.stream().map(ip -> ip.indices.size()).collect(Collectors.toList()));
+		sb.append("\n");
 
 		return sb.toString();
 	}
-Original file line number
+Diff line change
@@ Expand Up / @@ -105,4 +105,5 @@ public void setNoArrays(final int size) { @@
     	public void incrementEquivalenceClassCounter() {
     		mNoEquivalenceClasses++;
     	}
     }