pstlab / oRatio

oRatio is an Integrated Logic and Constraint based solver
Apache License 2.0
6 stars 1 forks source link

Check the existence of a solution file before overwriting it #14

Closed riccardodebenedictis closed 4 years ago

riccardodebenedictis commented 4 years ago

The command line tool creates a solution file if the file does not exist. However, if the file already exists, it overwrites it without asking the user for consent! In case of DEBUG compilation, overwriting the files without asking for confirmation could be a good thing. In case of RELEASE compilation, an override confirmation could avoid overwriting files that contain important information.