From 6301e5e0357bd7bbb7e172352e4acaa107619596 Mon Sep 17 00:00:00 2001 From: Alexander Nutz Date: Mon, 23 Oct 2017 14:50:51 +0200 Subject: [PATCH] #197, slight improvement to heapseparator output --- .../icfgtransformer/heapseparator/HeapSeparatorBenchmark.java | 1 + .../icfgtransformer/heapseparator/NewArrayIdProvider.java | 3 +++ 2 files changed, 4 insertions(+) diff --git a/trunk/source/Library-IcfgTransformer/src/de/uni_freiburg/informatik/ultimate/icfgtransformer/heapseparator/HeapSeparatorBenchmark.java b/trunk/source/Library-IcfgTransformer/src/de/uni_freiburg/informatik/ultimate/icfgtransformer/heapseparator/HeapSeparatorBenchmark.java index 37f099ac6e3..94e77babeb7 100644 --- a/trunk/source/Library-IcfgTransformer/src/de/uni_freiburg/informatik/ultimate/icfgtransformer/heapseparator/HeapSeparatorBenchmark.java +++ b/trunk/source/Library-IcfgTransformer/src/de/uni_freiburg/informatik/ultimate/icfgtransformer/heapseparator/HeapSeparatorBenchmark.java @@ -105,4 +105,5 @@ public void setNoArrays(final int size) { public void incrementEquivalenceClassCounter() { mNoEquivalenceClasses++; } + } diff --git a/trunk/source/Library-IcfgTransformer/src/de/uni_freiburg/informatik/ultimate/icfgtransformer/heapseparator/NewArrayIdProvider.java b/trunk/source/Library-IcfgTransformer/src/de/uni_freiburg/informatik/ultimate/icfgtransformer/heapseparator/NewArrayIdProvider.java index f1be3a83784..06ede9c6d24 100644 --- a/trunk/source/Library-IcfgTransformer/src/de/uni_freiburg/informatik/ultimate/icfgtransformer/heapseparator/NewArrayIdProvider.java +++ b/trunk/source/Library-IcfgTransformer/src/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(); }