From 749e6318bb41e73b3f6acfead28d86e92bbafcbe Mon Sep 17 00:00:00 2001
From: Mark Roberts <markro@cs.washington.edu>
Date: Fri, 6 Jun 2025 14:43:06 -0700
Subject: [PATCH] update randoop

---
 init.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/init.sh b/init.sh
index 14784fdde..332262b36 100755
--- a/init.sh
+++ b/init.sh
@@ -101,7 +101,7 @@ main() {
     #
     echo
     echo "Setting up Randoop ... "
-    RANDOOP_VERSION="4.3.3"
+    RANDOOP_VERSION="4.3.4"
     RANDOOP_URL="https://github.com/randoop/randoop/releases/download/v${RANDOOP_VERSION}"
     RANDOOP_ZIP="randoop-${RANDOOP_VERSION}.zip"
     RANDOOP_JAR="randoop-all-${RANDOOP_VERSION}.jar"