add randoopBloodhound.sh and remove link in init.sh

rjust · Sep 25, 2024 · 08633ce · 08633ce
1 parent 56dfd71
commit 08633ce
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/framework/lib/test_generation/bin/randoopBloodhound.sh b/framework/lib/test_generation/bin/randoopBloodhound.sh
@@ -0,0 +1 @@
+randoop.sh
diff --git a/init.sh b/init.sh
@@ -20,7 +20,6 @@ HOST_URL="https://defects4j.org/downloads"
 BASE="$(cd "$(dirname "$0")"; pwd)"
 DIR_REPOS="$BASE/project_repos"
 DIR_LIB_GEN="$BASE/framework/lib/test_generation/generation"
-DIR_BIN_GEN="$BASE/framework/lib/test_generation/bin"
 DIR_LIB_RT="$BASE/framework/lib/test_generation/runtime"
 DIR_LIB_GRADLE="$BASE/framework/lib/build_systems/gradle"
 
@@ -114,7 +113,6 @@ main() {
     (cd "$DIR_LIB_GEN" && ln -sf "randoop-${RANDOOP_VERSION}/$REPLACECALL_JAR" "replacecall-current.jar")
     (cd "$DIR_LIB_GEN" && ln -sf "randoop-${RANDOOP_VERSION}/$COVEREDCLASS_JAR" "covered-class-current.jar")
     (cd "$DIR_LIB_GEN" && ln -sf "randoop-${RANDOOP_VERSION}/jacocoagent.jar" "jacocoagent.jar")
-    (cd "$DIR_BIN_GEN" && ln -sf randoop.sh randoopBloodhound.sh)
 
     ############################################################################
     #