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]>
runtimeverification · Sep 6, 2023 · 4401f4a · 4401f4a
1 parent e95d857
commit 4401f4a
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/pyk/package/version b/pyk/package/version
@@ -1 +1 @@
-0.1.433
+0.1.434
diff --git a/pyk/pyproject.toml b/pyk/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]>",

diff --git a/pyk/src/pyk/utils.py b/pyk/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