Permalink
Browse files

Updated the versions of Randoop and Major.

  • Loading branch information...
rjust committed Dec 11, 2017
1 parent 7d3e0df commit 4d9faff8c90d1d90444ab9e56be3ed135ec401d8
Showing with 2 additions and 2 deletions.
  1. +2 −2 init.sh
View
@@ -33,7 +33,7 @@ cd "$DIR_REPOS" && ./get_repos.sh
#
echo
echo "Setting up Major ... "
MAJOR_VERSION="1.3.1"
MAJOR_VERSION="1.3.2"
MAJOR_URL="http://mutation-testing.org/downloads"
MAJOR_ZIP="major-${MAJOR_VERSION}_jre7.zip"
cd "$BASE" && wget -nv -N "$MAJOR_URL/$MAJOR_ZIP" \
@@ -63,7 +63,7 @@ ln -sf "$DIR_LIB_RT/$EVOSUITE_RT_JAR" "$DIR_LIB_RT/evosuite-rt.jar"
#
echo
echo "Setting up Randoop ... "
RANDOOP_VERSION="3.1.0"
RANDOOP_VERSION="3.1.5"
RANDOOP_URL="https://github.com/randoop/randoop/releases/download/v${RANDOOP_VERSION}"
RANDOOP_JAR="randoop-all-${RANDOOP_VERSION}.jar"
cd "$DIR_LIB_GEN" && [ ! -f "$RANDOOP_JAR" ] \

0 comments on commit 4d9faff

Please sign in to comment.