Refactor `str` paths to `Path`

runtimeverification / mx-semantics

7 stars 3 forks source link

Closed bbyalcinkaya closed 3 months ago

bbyalcinkaya commented 3 months ago

Refactored the scenario and kasmer modules to use Path instead of str for variables representing file and directory paths.