cbmc-viewer icon indicating copy to clipboard operation
cbmc-viewer copied to clipboard

Published 20 hours ago • verified publisher icon model-checking

Use pathlib Path for portability

Open markrtuttle opened this issue 4 years ago • 0 comments

Replace os.path with pathlib.Path for readability and portability across operating systems.

markrtuttle avatar Oct 20 '21 22:10 markrtuttle