whoops we actually did need to fuzz shorts

jon-bell · Aug 1, 2024 · 349156c · 349156c
1 parent ef327f7
commit 349156c
Showing 1 changed file with 9 additions and 2 deletions.
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
@@ -1628,8 +1628,15 @@ public Input fuzz(Random random) {
                     case Byte:
                         newInput.set(offset + 1, setToZero ? 0 : (byte) random.nextInt(256));
                         break;
-                        case Short:
-                           throw new GuidanceException("Short type not supported");
+                    case Short:
+                        if (setToZero) {
+                            newInput.set(offset + 1, (byte) 0);
+                            newInput.set(offset + 2, (byte) 0);
+                        } else {
+                            newInput.set(offset + 1, (byte) random.nextInt(256));
+                            newInput.set(offset + 2, (byte) random.nextInt(256));
+                        }
+                        break;
                     case Integer:
                         int newIValue = random.nextInt();
                         if(setToZero){