defects4j
defects4j copied to clipboard
Context about different command-line interfaces
It would also be helpful to explain what it means "to export" at https://github.com/rjust/defects4j#export-version-specific-properties . "query" generates a CSV file; does "export" do the same?