#!/bin/bash
# This script downloads Randoop.

CWD="$(
  cd "$(dirname "$(readlink "$0" || printf %s "$0")")"
  pwd -P 
)"

rm -f "$CWD/randoop.jar"
wget "https://github.com/mernst/randoop/releases/download/v1.3.6/randoop-1.3.6.jar" -O "$CWD/randoop.jar"
chmod +x "$CWD/randoop.jar"

echo "1.3.6" > "$CWD/VERSION"

#!/bin/bash
# This script downloads Randoop.
VERSION=2.1.4
CWD="$(
  cd "$(dirname "$(readlink "$0" || printf %s "$0")")"
  pwd -P 
)"

rm -f "$CWD/randoop.jar"
wget "https://github.com/mernst/randoop/releases/download/v$VERSION/randoop-$VERSION.jar" -O "$CWD/randoop.jar"
chmod +x "$CWD/randoop.jar"

echo "$VERSION" > "$CWD/VERSION"

Update randoop version to 2.1.4
Update randoop version to 2.1.4
