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"