Fix error when --dump-smt & folder already exists

GillianPlatform · Dec 5, 2023 · 5c283a7 · 5c283a7
1 parent f1ef91f
commit 5c283a7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/GillianCore/z3/z3_encoding.ml b/GillianCore/z3/z3_encoding.ml
@@ -856,7 +856,9 @@ let dump_smt =
     let created = ref false in
     let create () =
       created := true;
-      Unix.mkdir folder_name 0o755
+      try Unix.mkdir folder_name 0o755 with
+      | Unix.Unix_error (Unix.EEXIST, _, _) -> ()
+      | e -> raise e
     in
     fun () ->
       let () = if not !created then create () in