diff --git a/fuzz/src/main/java/edu/berkeley/cs/jqf/fuzz/ei/ZestGuidance.java b/fuzz/src/main/java/edu/berkeley/cs/jqf/fuzz/ei/ZestGuidance.java
index ba48d3780..7a2832795 100644
--- a/fuzz/src/main/java/edu/berkeley/cs/jqf/fuzz/ei/ZestGuidance.java
+++ b/fuzz/src/main/java/edu/berkeley/cs/jqf/fuzz/ei/ZestGuidance.java
@@ -1216,7 +1216,7 @@ public TypedGeneratedValue getOrGenerateFresh(Integer key, TypedGeneratedValue.T
 
             // Don't generate over the limit
             if (requested >= MAX_INPUT_SIZE) {
-                throw new IllegalStateException("Input size limit exceeded");
+                throw new IllegalStateException(new EOFException("Input size limit exceeded"));
             }
 
             // If it exists in the list, return it