Undo a change

rjust · Sep 7, 2024 · 373f7ca · 373f7ca
1 parent fdcce34
commit 373f7ca
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/framework/test/test_verify_bugs.sh b/framework/test/test_verify_bugs.sh
@@ -115,7 +115,7 @@ for bid in $BUGS ; do
         vid=${bid}$v
         defects4j checkout -p "$PID" -v "$vid" -w "$work_dir" || die "checkout: $PID-$vid"
         defects4j compile -w "$work_dir" || die "compile: $PID-$vid"
-        defects4j test "$TEST_FLAG" -w "$work_dir" || die "run relevant tests: $PID-$vid"
+        defects4j test $TEST_FLAG -w "$work_dir" || die "run relevant tests: $PID-$vid"
 
         cat "$work_dir/failing_tests" > "$DIR_FAILING/$vid"