Save only file destination instead of copy of the file

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

BSD 3-Clause "New" or "Revised" License

4 stars 1 forks source link

Open xhajnal opened 4 years ago

xhajnal commented 4 years ago

Saving the file in tmp results in a path loading it from tmp dir without proper name hence cannot be used to encode figure name/title/label.