Merge "Add -p option when flush coverage" into main