search

moves-rwth / stormpy

Python Bindings for the Probabilistic Model Checker Storm
https://moves-rwth.github.io/stormpy/
GNU General Public License v3.0
28 stars 15 forks source link

Python Paths #163

Open sjunges opened 2 weeks ago

sjunges commented 2 weeks ago

Our functions that take paths as input currently expect strings. Should we instead allow (or even enforce) pathlib.Path?

volkm commented 2 weeks ago

I would be in favor of using pathlib.Path. My approach would be twofold: we first use pathlib.Path but allow strings as a fall-back (and give a deprecation warning). Later, we can remove string support altogether. Or should we simply migrate at once?