Skip to content
Permalink
Browse files

Use Randoop 4.2.2

  • Loading branch information
mernst committed Feb 29, 2020
1 parent 5752e93 commit 7b8171238956a1cd8e386e1e047d27eb57a65fdb
Showing with 1 addition and 1 deletion.
  1. +1 −1 init.sh
@@ -130,7 +130,7 @@ cd "$DIR_LIB_RT" && download_url "$EVOSUITE_URL/$EVOSUITE_RT_JAR"
#
echo
echo "Setting up Randoop ... "
RANDOOP_VERSION="4.2.1"
RANDOOP_VERSION="4.2.2"
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"

0 comments on commit 7b81712

Please sign in to comment.
You can’t perform that action at this time.