Fix for minor race condition when making bug reports (#637)

In runtimeverification/evm-semantics#2047, we
have a minor race condition when creating bug reports where one thread
will check if the directory to create the report in exists, see that it
doesn't and then create it. Meanwhile, another thread will already have
created the directory, so it the first thread will fail because now the
directory does exist. This allows for that case.

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: rv-jenkins <[email protected]>

Author: 3 people

package/version

@@ -1 +1 @@
-0.1.433
+0.1.434

pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "pyk"
-version = "0.1.433"
+version = "0.1.434"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

src/pyk/utils.py

@@ -457,7 +457,7 @@ def ensure_dir_path(path: str | Path) -> Path:
     path = Path(path)
     if not path.exists():
         _LOGGER.info(f'Making directory: {path}')
-        path.mkdir(parents=True)
+        path.mkdir(parents=True, exist_ok=True)
     else:
         check_dir_path(path)
     return path