improve error message for #555

ultimate-pa · May 4, 2021 · 2d46233 · 2d46233
1 parent 6ef3b7e
commit 2d46233
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/...s/src/de/uni_freiburg/informatik/ultimate/lib/smtlibutils/quantifier/DualJunctionTir.java b/...s/src/de/uni_freiburg/informatik/ultimate/lib/smtlibutils/quantifier/DualJunctionTir.java
@@ -648,6 +648,10 @@ private Term buildDualFiniteJunction(final Script script, final int quantifier,
 					return null;
 				}
 			}
+			if ( ((long) lowerBounds.size()) * ((long) upperBounds.size()) >= Integer.MAX_VALUE) {
+				throw new UnsupportedOperationException(String.format("Size of result too large: %s xjuncts",
+						((long) lowerBounds.size()) * ((long) upperBounds.size())));
+			}
 			final Term[] allCombinations = new Term[lowerBounds.size() * upperBounds.size()];
 
 			int i = 0;