Change mean mutations to be 10% of nodes or MEAN_MUTATION_COUNT, whic…

…hever is MORE
jon-bell · Jul 31, 2024 · 6e3cde3 · 6e3cde3
1 parent b62c55d
commit 6e3cde3
Showing 1 changed file with 1 addition and 1 deletion.
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
@@ -1278,7 +1278,7 @@ public Input fuzz(Random random) {
             LinearInput newInput = new LinearInput(this);
 
             // Stack a bunch of mutations
-            int numMutations = sampleGeometric(random, this.values.size() * 0.1);
+            int numMutations = sampleGeometric(random, Math.max(this.values.size() * 0.1, MEAN_MUTATION_COUNT));
             newInput.desc += ",havoc:"+numMutations;
 
             boolean setToZero = random.nextDouble() < 0.1; // one out of 10 times