#295, make use of option to give "tracked arrays"

ultimate-pa · Aug 30, 2018 · a416f4c · a416f4c
1 parent df8b83b
commit a416f4c
Showing 1 changed file with 10 additions and 2 deletions.
diff --git a/...ni_freiburg/informatik/ultimate/icfgtransformer/heapseparator/HeapSepIcfgTransformer.java b/...ni_freiburg/informatik/ultimate/icfgtransformer/heapseparator/HeapSepIcfgTransformer.java
@@ -26,6 +26,7 @@
  */
 package de.uni_freiburg.informatik.ultimate.icfgtransformer.heapseparator;
 
+import java.util.ArrayList;
 import java.util.HashMap;
 import java.util.HashSet;
 import java.util.List;
@@ -285,8 +286,15 @@ private void computeResult(final IIcfg<INLOC> originalIcfg, final ILocationFacto
 		/*
 		 * 2. run the equality analysis
 		 */
-		equalityProvider.preprocess(preprocessedIcfg);
-		mLogger.info("finished equality analysis");
+		{
+//			final List<String> trackedArraySubstrings = null;
+			final List<String> trackedArraySubstrings = new ArrayList<>();
+			trackedArraySubstrings.add(MemlocArrayManager.LOC_ARRAY_PREFIX);
+			trackedArraySubstrings.add("valid");
+			equalityProvider.setTrackedArrays(trackedArraySubstrings);
+			equalityProvider.preprocess(preprocessedIcfg);
+			mLogger.info("finished equality analysis");
+		}
 
 
 		/*