feat: add fuzz test example for minimize

Author: kyakdan

examples/junit/src/test/java/com/example/BUILD.bazel

@@ -393,3 +393,24 @@ java_fuzz_target_test(
         "@maven//:org_junit_jupiter_junit_jupiter_api",
     ],
 )
+
+# Test for the minimize() hill-climbing API.
+# This test uses Jazzer.minimize() to guide the fuzzer toward minimizing
+# a "temperature" value, demonstrating inverse hill-climbing behavior.
+java_fuzz_target_test(
+    name = "CoolerFuzzTest",
+    srcs = ["CoolerFuzzTest.java"],
+    allowed_findings = ["java.lang.RuntimeException"],
+    env = {"JAZZER_FUZZ": "1"},
+    target_class = "com.example.CoolerFuzzTest",
+    verify_crash_reproducer = False,
+    runtime_deps = [
+        ":junit_runtime",
+    ],
+    deps = [
+        "//src/main/java/com/code_intelligence/jazzer/api:hooks",
+        "//src/main/java/com/code_intelligence/jazzer/junit:fuzz_test",
+        "//src/main/java/com/code_intelligence/jazzer/mutation/annotation",
+        "@maven//:org_junit_jupiter_junit_jupiter_api",
+    ],
+)

examples/junit/src/test/java/com/example/CoolerFuzzTest.java

@@ -0,0 +1,65 @@
+/*
+ * Copyright 2026 Code Intelligence GmbH
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+package com.example;
+
+import com.code_intelligence.jazzer.api.Jazzer;
+import com.code_intelligence.jazzer.junit.FuzzTest;
+import com.code_intelligence.jazzer.mutation.annotation.NotNull;
+
+/**
+ * Example demonstrating the minimize() hill-climbing API.
+ *
+ * <p>Mirror of ReactorFuzzTest: instead of heating up a reactor, we're trying to cool down a system
+ * to the lowest possible temperature.
+ */
+public class CoolerFuzzTest {
+
+  @FuzzTest
+  public void fuzz(@NotNull String input) {
+    for (char c : input.toCharArray()) {
+      if (c < 32 || c > 126) return;
+    }
+    controlCooler(input);
+  }
+
+  private void controlCooler(String commands) {
+    long temperature = 4000; // Starts hot
+
+    for (char cmd : commands.toCharArray()) {
+      // Complex, chaotic feedback loop.
+      // Hard to predict which character decreases temperature.
+      if ((temperature ^ cmd) % 3 == 0) {
+        temperature -= (cmd % 10); // Cool down slightly
+      } else if ((temperature ^ cmd) % 3 == 1) {
+        temperature += (cmd % 8); // Heat up slightly
+      } else {
+        temperature -= 1; // Tiny decrease
+      }
+
+      // Cap at reasonable bounds
+      if (temperature < 0) temperature = 0;
+      if (temperature > 5000) temperature = 5000;
+    }
+
+    // THE GOAL: MINIMIZATION
+    // Drive 'temperature' to the lowest possible value.
+    Jazzer.minimize(temperature, 0, 4000);
+    if (temperature <= 100) {
+      throw new RuntimeException("Supercooled! Temperature minimized.");
+    }
+  }
+}