From c151b9ca4cbadec4f9e7a5569ac98c3b6299b60b Mon Sep 17 00:00:00 2001 From: isaacmaffeis Date: Sat, 28 Sep 2024 19:09:59 +0200 Subject: [PATCH] Update main.sh --- scripts/main.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/main.sh b/scripts/main.sh index 80b15b6..5b00b2c 100644 --- a/scripts/main.sh +++ b/scripts/main.sh @@ -30,5 +30,5 @@ execute_script() { execute_script "retrieve_input.sh" execute_script "mvn_setup.sh" execute_script "gen_evosuite.sh" "/app/src/main/java/org/evoservice/" "-criterion LINE:BRANCH" "-Dminimize=true" "-Dassertion_strategy=all" -execute_script "test.sh" +execute_script "tests.sh" execute_script "clean.sh" \ No newline at end of file