stormpy icon indicating copy to clipboard operation
stormpy copied to clipboard

Published 20 hours ago • verified publisher icon moves-rwth

Python Paths

Open sjunges opened this issue 9 months ago • 1 comments

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

sjunges avatar May 13 '24 18:05 sjunges