You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Describe the nit
when calling reach repeatedly with different options on the same input, one always has to move or delete previous output, because reach fails with an error stating the output dir already exists.
Suggested improvement
Add an option to delete previous output dir or redirect outputdir with a suffix.
The text was updated successfully, but these errors were encountered:
Describe the nit
when calling reach repeatedly with different options on the same input, one always has to move or delete previous output, because reach fails with an error stating the output dir already exists.
Suggested improvement
Add an option to delete previous output dir or redirect outputdir with a suffix.
The text was updated successfully, but these errors were encountered: