defects4j
defects4j copied to clipboard
Test all exported properties in test_export_command
The test script test_export_command
currently checks whether the source and test directories are properly exported. It should also check whether the classpaths and lists of tests are properly exported.