guohaoma

How to use an external test suite

1

hi， When I use the defects4j test -s project_id-version_id-test_suite_src.test_id.tar.bz2，what is the internal format of tar.bz2？Can you give an example to illustrate

The `coverage -t` parameter encountered an error during execution.

3

When I execute the command `defects4j coverage -t org.apache.commons.lang3.AnnotationUtilsTest::testOneArgNull` , I encountered an error message: "BUILD FAILED Target 'org.apache.commons.lang3.AnnotationUtilsTest::testOneArgNull' does not exist in the project 'Defects4J'". However, I can successfully...