If a project has already been promoted to the main Defects4J database, if (-e "$CORE_DIR/Project/$PID.pm") { evaluates to true at initialize-project-and-collect-issues.pl:180, active_bugs.csv ends up with a duplicated header: one from the just mined bugs ($COMMIT_DB_FILE) and the other from the complement computed by grep -vFf $COMMIT_DB_FILE.orig $COMMIT_DB_FILE, since $COMMIT_DB_FILE.orig lacks such header.
rjust
commented
4 months ago
If a project has already been promoted to the main Defects4J database,
if (-e "$CORE_DIR/Project/$PID.pm") {evaluates to true atinitialize-project-and-collect-issues.pl:180,active_bugs.csvends up with a duplicated header: one from the just mined bugs ($COMMIT_DB_FILE) and the other from the complement computed bygrep -vFf $COMMIT_DB_FILE.orig $COMMIT_DB_FILE, since$COMMIT_DB_FILE.origlacks such header.