3409

Committed 26 Feb 2025 01:10PM UTC coverage: 32.353% (-28.4%) from 60.756%

Build # 3409

Build Type

push

buildkite

Committed by

web-flow

Commit Message

Merge pull request #16687 from MinaProtocol/dw/merge-compatible-into-develop-20250225

Merge compatible into develop [20250224]

Run Details

23144 of 71535 relevant lines covered (32.35%)

16324.05 hits per line

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

50.0

/src/lib/mina_stdlib/list.ml

open Core_kernel
include List

module Length = struct
  type 'a t = ('a list, int) Sigs.predicate2

  let equal l len = Caml.List.compare_length_with l len = 0

  let unequal l len = Caml.List.compare_length_with l len <> 0

  let gte l len = Caml.List.compare_length_with l len >= 0

  let gt l len = Caml.List.compare_length_with l len > 0

  let lte l len = Caml.List.compare_length_with l len <= 0

  let lt l len = Caml.List.compare_length_with l len < 0

  module Compare = struct
    let ( = ) = equal

    let ( <> ) = unequal

    let ( >= ) = gte

    let ( > ) = gt

    let ( <= ) = lte

    let ( < ) = lt
  end
end

1	open Core_kernel	34✔
2	include List
3
4	module Length = struct
5	type 'a t = ('a list, int) Sigs.predicate2
6
7	let equal l len = Caml.List.compare_length_with l len = 0	×
8
9	let unequal l len = Caml.List.compare_length_with l len <> 0	×
10
11	let gte l len = Caml.List.compare_length_with l len >= 0	1✔
12
13	let gt l len = Caml.List.compare_length_with l len > 0	1✔
14
15	let lte l len = Caml.List.compare_length_with l len <= 0	×
16
17	let lt l len = Caml.List.compare_length_with l len < 0	×
18
19	module Compare = struct
20	let ( = ) = equal
21
22	let ( <> ) = unequal
23
24	let ( >= ) = gte
25
26	let ( > ) = gt
27
28	let ( <= ) = lte
29
30	let ( < ) = lt
31	end
32	end	68✔

MinaProtocol / mina / 3409

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