MinaProtocol / mina / 528

Committed 19 Aug 2025 11:53PM UTC coverage: 35.134% (+2.9%) from 32.198%

Build # 528

Build Type

push

buildkite

Committed by

web-flow

Commit Message

Merge pull request #17640 from MinaProtocol/georgeee/compatible-to-develop-2025-08-19

Merge `compatible` to `develop` (19 August 2025, pt. 2)

Coverage Stats

16905 of 48116 relevant lines covered (35.13%)

23535.46 hits per line

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

25.0

/src/lib/mina_stdlib/mina_user_error.ml

exception Mina_user_error of { message : string; where : string option }

let raisef ?where =
  Format.ksprintf (fun message -> raise (Mina_user_error { message; where }))

let raise ?where message = raise (Mina_user_error { message; where })

let () =
  Stdlib.Printexc.register_printer (fun exn ->
      match exn with
      | Mina_user_error { message; where } ->
          let error =
            match where with
            | None ->
                "encountered a configuration error"
            | Some where ->
                Printf.sprintf "encountered a configuration error %s" where
          in
          Some
            (Printf.sprintf {err|
FATAL ERROR

  ☠  Mina %s.

  %s
%!|err} error
               message )
      | _ ->
          None )

1	exception Mina_user_error of { message : string; where : string option }	53✔
2
3	let raisef ?where =
4	Format.ksprintf (fun message -> raise (Mina_user_error { message; where }))	×
5
6	let raise ?where message = raise (Mina_user_error { message; where })	×
7
8	let () =
9	Stdlib.Printexc.register_printer (fun exn ->	53✔
10	match exn with	×
11	\| Mina_user_error { message; where } ->	×
12	let error =
13	match where with
14	\| None ->	×
15	"encountered a configuration error"
16	\| Some where ->	×
17	Printf.sprintf "encountered a configuration error %s" where	×
18	in
19	Some
20	(Printf.sprintf {err\|	×
21	FATAL ERROR
22
23	☠ Mina %s.
24
25	%s
26	%!\|err} error
27	message )
28	\| _ ->	×
29	None )	106✔

MinaProtocol / mina / 528

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