MinaProtocol / mina / 411

Committed 24 Jul 2025 03:14PM UTC coverage: 33.188% (-27.7%) from 60.871%

Build # 411

Build Type

push

buildkite

Committed by

web-flow

Commit Message

Merge pull request #17541 from MinaProtocol/brian/merge-compatible-into-develop

Merge compatible into develop

Coverage Stats

164 of 702 new or added lines in 96 files covered. (23.36%)

18243 existing lines in 393 files now uncovered.

23983 of 72264 relevant lines covered (33.19%)

24667.26 hits per line

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

35.29

/src/lib/mina_stdlib/direction.ml

open Core_kernel

type t = Left | Right [@@deriving sexp, equal]

let of_bool = function false -> Left | true -> Right

let map ~left ~right = function Left -> left | Right -> right

let to_bool = map ~left:false ~right:true

let to_int = map ~left:0 ~right:1

let of_int = function 0 -> Some Left | 1 -> Some Right | _ -> None

let of_int_exn value =
  of_int value
  |> Option.value_exn
       ~message:(sprintf "Cannot convert integer %d into a direction" value)

let flip = map ~left:Right ~right:Left

let gen = Quickcheck.Let_syntax.(Quickcheck.Generator.bool >>| of_bool)

let gen_var_length_list ?(start = 0) depth =
  let open Quickcheck.Generator in
  Int.gen_incl start (depth - 1) >>= fun l -> list_with_length l gen

let gen_list depth = Quickcheck.Generator.list_with_length depth gen

let shrinker =
  Quickcheck.Shrinker.create (fun dir ->
      Sequence.unfold ~init:dir ~f:(function
        | Left ->
            None
        | Right ->
            Some (Left, Left) ) )

1	open Core_kernel	83✔
2
3	type t = Left \| Right [@@deriving sexp, equal]	×
4
5	let of_bool = function false -> Left \| true -> Right	863,552✔
6
7	let map ~left ~right = function Left -> left \| Right -> right	810,498✔
8
9	let to_bool = map ~left:false ~right:true
10
11	let to_int = map ~left:0 ~right:1
12
13	let of_int = function 0 -> Some Left \| 1 -> Some Right \| _ -> None	×
14
15	let of_int_exn value =
16	of_int value	×
17	\|> Option.value_exn
18	~message:(sprintf "Cannot convert integer %d into a direction" value)	×
19
20	let flip = map ~left:Right ~right:Left
21
22	let gen = Quickcheck.Let_syntax.(Quickcheck.Generator.bool >>\| of_bool)	83✔
23
UNCOV 24	let gen_var_length_list ?(start = 0) depth =	×
UNCOV 25	let open Quickcheck.Generator in	×
UNCOV 26	Int.gen_incl start (depth - 1) >>= fun l -> list_with_length l gen	×
27
UNCOV 28	let gen_list depth = Quickcheck.Generator.list_with_length depth gen	×
29
30	let shrinker =
31	Quickcheck.Shrinker.create (fun dir ->	83✔
32	Sequence.unfold ~init:dir ~f:(function	×
33	\| Left ->	×
34	None
35	\| Right ->	×
36	Some (Left, Left) ) )	166✔

MinaProtocol / mina / 411

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