MinaProtocol / mina / 368

Committed 12 Jul 2025 11:44AM UTC coverage: 31.513%. First build

Build # 368

Build Type

push

buildkite

Committed by

web-flow

Commit Message

Merge pull request #17289 from MinaProtocol/dw/mina-stdlib-unix

Mina_stdlib_unix: introduce and move file_system, exit_handlers and rfc3339_time

Run Details

3 of 46 new or added lines in 17 files covered. (6.52%)

22563 of 71599 relevant lines covered (31.51%)

24576.5 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

11.11

/src/lib/disk_cache/utils/disk_cache_utils.ml

open Core
open Async

let failed_to_get_cache_folder_status ~logger ~(error_msg : string) ~path =
  [%log error] "%s" error_msg ~metadata:[ ("path", `String path) ] ;
  `Initialization_error (Error.createf "%s (%s)" error_msg path)

(** Initialize a directory at a path:
      - if it does not exist, create it
      - if it exists, clear it
      - if the path provided is a file, fail
      - if it is not impossible to retrieve the status of the path, fail
*)
let initialize_dir path ~logger =
  let fail error_msg =
    Deferred.Result.fail
      (failed_to_get_cache_folder_status ~logger ~error_msg ~path)
  in
  match%bind Sys.is_directory path with
  | `Yes ->
      let%map () = Mina_stdlib_unix.File_system.clear_dir path in
      Ok path
  | `No -> (
      match%bind Sys.file_exists ~follow_symlinks:false path with
      | `Yes ->
          fail "Path to proof cache folder points to a non-directory"
      | `No ->
          let%map () = Mina_stdlib_unix.File_system.create_dir path in
          Ok path
      | `Unknown ->
          fail "Cannot evaluate existence of cache folder" )
  | `Unknown ->
      fail "Cannot evaluate existence of cache folder"

1	open Core	6✔
2	open Async
3
4	let failed_to_get_cache_folder_status ~logger ~(error_msg : string) ~path =
5	[%log error] "%s" error_msg ~metadata:[ ("path", `String path) ] ;	×
6	`Initialization_error (Error.createf "%s (%s)" error_msg path)	×
7
8	(** Initialize a directory at a path:
9	- if it does not exist, create it
10	- if it exists, clear it
11	- if the path provided is a file, fail
12	- if it is not impossible to retrieve the status of the path, fail
13	*)
14	let initialize_dir path ~logger =
15	let fail error_msg =	×
16	Deferred.Result.fail	×
17	(failed_to_get_cache_folder_status ~logger ~error_msg ~path)
18	in
19	match%bind Sys.is_directory path with	×
20	\| `Yes ->	×
NEW 21	let%map () = Mina_stdlib_unix.File_system.clear_dir path in	×
22	Ok path	×
23	\| `No -> (	×
24	match%bind Sys.file_exists ~follow_symlinks:false path with	×
25	\| `Yes ->	×
26	fail "Path to proof cache folder points to a non-directory"
27	\| `No ->	×
NEW 28	let%map () = Mina_stdlib_unix.File_system.create_dir path in	×
29	Ok path	×
30	\| `Unknown ->	×
31	fail "Cannot evaluate existence of cache folder" )
32	\| `Unknown ->	×
33	fail "Cannot evaluate existence of cache folder"	12✔

MinaProtocol / mina / 368

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous