2817

Committed 23 Oct 2024 05:55PM UTC coverage: 33.411% (-27.7%) from 61.089%

Build # 2817

Build Type

push

buildkite

Committed by

web-flow

Commit Message

Merge pull request #16270 from MinaProtocol/dkijania/fix_promotion_job

Fix verify promoted docker check

Run Details

22271 of 66658 relevant lines covered (33.41%)

131054.24 hits per line

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

42.86

/src/lib/allocation_functor/make.ml

open Core_kernel

module Partial = struct
  module Bin_io (M : Intf.Input.Bin_io_intf) :
    Intf.Partial.Bin_io_intf with type t := M.t = struct
    open Bin_prot.Type_class

    let bin_size_t = M.bin_size_t

    let bin_write_t = M.bin_write_t

    let bin_read_t buf ~pos_ref =
      Table.attach_finalizer M.id (M.bin_read_t buf ~pos_ref)

    let __bin_read_t__ buf ~pos_ref i =
      Table.attach_finalizer M.id (M.__bin_read_t__ buf ~pos_ref i)

    let bin_shape_t = M.bin_shape_t

    let bin_writer_t = M.bin_writer_t

    let bin_reader_t = { read = bin_read_t; vtag_read = __bin_read_t__ }

    let bin_t =
      { shape = bin_shape_t; writer = bin_writer_t; reader = bin_reader_t }
  end

  module Sexp (M : Intf.Input.Sexp_intf) :
    Intf.Partial.Sexp_intf with type t := M.t = struct
    let sexp_of_t = M.sexp_of_t

    let t_of_sexp t = Table.attach_finalizer M.id (M.t_of_sexp t)
  end

  module Yojson (M : Intf.Input.Yojson_intf) :
    Intf.Partial.Yojson_intf with type t := M.t = struct
    let to_yojson = M.to_yojson

    let of_yojson json =
      M.of_yojson json |> Result.map ~f:(Table.attach_finalizer M.id)
  end
end

module Basic (M : Intf.Input.Basic_intf) :
  Intf.Output.Basic_intf with type t = M.t and type 'a creator := 'a M.creator =
struct
  type t = M.t

  let create = M.map_creator M.create ~f:(Table.attach_finalizer M.id)
end

module Bin_io (M : Intf.Input.Bin_io_intf) :
  Intf.Output.Bin_io_intf with type t = M.t and type 'a creator := 'a M.creator =
struct
  include Basic (M)
  include Partial.Bin_io (M)
end

module Sexp (M : Intf.Input.Sexp_intf) :
  Intf.Output.Sexp_intf with type t = M.t and type 'a creator := 'a M.creator =
struct
  include Basic (M)
  include Partial.Sexp (M)
end

module Bin_io_and_sexp (M : Intf.Input.Bin_io_and_sexp_intf) :
  Intf.Output.Bin_io_and_sexp_intf
    with type t = M.t
     and type 'a creator := 'a M.creator = struct
  include Basic (M)
  include Partial.Bin_io (M)
  include Partial.Sexp (M)
end

module Yojson (M : Intf.Input.Yojson_intf) :
  Intf.Output.Yojson_intf with type t = M.t and type 'a creator := 'a M.creator =
struct
  include Basic (M)
  include Partial.Yojson (M)
end

module Bin_io_and_yojson (M : Intf.Input.Bin_io_and_yojson_intf) :
  Intf.Output.Bin_io_and_yojson_intf
    with type t = M.t
     and type 'a creator := 'a M.creator = struct
  include Basic (M)
  include Partial.Bin_io (M)
  include Partial.Yojson (M)
end

module Full (M : Intf.Input.Full_intf) :
  Intf.Output.Full_intf with type t = M.t and type 'a creator := 'a M.creator =
struct
  include Basic (M)
  include Partial.Bin_io (M)
  include Partial.Sexp (M)
  include Partial.Yojson (M)
end

module Versioned_v1 = struct
  module Basic_intf (M : Intf.Input.Versioned_v1.Basic_intf) : sig
    include
      Intf.Output.Versioned_v1.Basic_intf
        with type Stable.V1.t = M.Stable.V1.t
         and type 'a Stable.V1.creator = 'a M.Stable.V1.creator
  end = struct
    module Stable = struct
      module V1 = struct
        include Bin_io (struct
          let id = M.id

          include M.Stable.V1
        end)

        let __versioned__ = ()

        type 'a creator = 'a M.Stable.V1.creator
      end

      module Latest = V1
    end

    type t = Stable.Latest.t
  end

  module Sexp (M : Intf.Input.Versioned_v1.Sexp_intf) : sig
    include
      Intf.Output.Versioned_v1.Sexp_intf
        with type Stable.V1.t = M.Stable.V1.t
         and type 'a Stable.V1.creator = 'a M.Stable.V1.creator
  end = struct
    module Stable = struct
      module V1 = struct
        include Bin_io_and_sexp (struct
          let id = M.id

          include M.Stable.V1
        end)

        let __versioned__ = ()

        type 'a creator = 'a M.Stable.V1.creator
      end

      module Latest = V1
    end

    type t = Stable.Latest.t
  end

  module Yojson (M : Intf.Input.Versioned_v1.Yojson_intf) : sig
    include
      Intf.Output.Versioned_v1.Yojson_intf
        with type Stable.V1.t = M.Stable.V1.t
         and type 'a Stable.V1.creator = 'a M.Stable.V1.creator
  end = struct
    module Stable = struct
      module V1 = struct
        include Bin_io_and_yojson (struct
          let id = M.id

          include M.Stable.V1
        end)

        let __versioned__ = ()

        type 'a creator = 'a M.Stable.V1.creator
      end

      module Latest = V1
    end

    type t = Stable.Latest.t
  end

  module Full_compare_eq_hash
      (M : Intf.Input.Versioned_v1.Full_compare_eq_hash_intf) : sig
    include
      Intf.Output.Versioned_v1.Full_compare_eq_hash_intf
        with type Stable.V1.t = M.Stable.V1.t
         and type 'a Stable.V1.creator = 'a M.Stable.V1.creator
  end = struct
    module Stable = struct
      module V1 = struct
        include Full (struct
          let id = M.id

          include M.Stable.V1
        end)

        let compare = M.Stable.V1.compare

        let equal = M.Stable.V1.equal

        let hash = M.Stable.V1.hash

        let hash_fold_t = M.Stable.V1.hash_fold_t

        let __versioned__ = ()

        type 'a creator = 'a M.Stable.V1.creator
      end

      module Latest = V1
    end

    type t = Stable.Latest.t

    let equal = M.equal

    let compare = M.compare

    let hash = M.hash

    let hash_fold_t = M.hash_fold_t
  end

  module Full (M : Intf.Input.Versioned_v1.Full_intf) : sig
    include
      Intf.Output.Versioned_v1.Full_intf
        with type Stable.V1.t = M.Stable.V1.t
         and type 'a Stable.V1.creator = 'a M.Stable.V1.creator
  end = struct
    module Stable = struct
      module V1 = struct
        include Full (struct
          let id = M.id

          include M.Stable.V1
        end)

        let __versioned__ = ()

        type 'a creator = 'a M.Stable.V1.creator
      end

      module Latest = V1
    end

    type t = Stable.Latest.t
  end
end

module Versioned_v2 = struct
  module Sexp (M : Intf.Input.Versioned_v2.Sexp_intf) : sig
    include
      Intf.Output.Versioned_v2.Sexp_intf
        with type Stable.V2.t = M.Stable.V2.t
         and type 'a Stable.V2.creator = 'a M.Stable.V2.creator
         and type Stable.V1.t = M.Stable.V1.t
         and type 'a Stable.V1.creator = 'a M.Stable.V1.creator
  end = struct
    module Stable = struct
      module V2 = struct
        include Bin_io_and_sexp (struct
          let id = M.id

          include M.Stable.V2
        end)

        let __versioned__ = ()

        type 'a creator = 'a M.Stable.V2.creator
      end

      module V1 = struct
        include Bin_io_and_sexp (struct
          let id = M.id

          include M.Stable.V1
        end)

        let __versioned__ = ()

        type 'a creator = 'a M.Stable.V1.creator

        let to_latest = M.Stable.V1.to_latest
      end

      module Latest = V2
    end

    type t = Stable.Latest.t
  end
end

1	open Core_kernel	12✔
2
3	module Partial = struct
4	module Bin_io (M : Intf.Input.Bin_io_intf) :
5	Intf.Partial.Bin_io_intf with type t := M.t = struct
6	open Bin_prot.Type_class
7
8	let bin_size_t = M.bin_size_t
9
10	let bin_write_t = M.bin_write_t
11
12	let bin_read_t buf ~pos_ref =
13	Table.attach_finalizer M.id (M.bin_read_t buf ~pos_ref)	×
14
15	let __bin_read_t__ buf ~pos_ref i =
16	Table.attach_finalizer M.id (M.__bin_read_t__ buf ~pos_ref i)	×
17
18	let bin_shape_t = M.bin_shape_t
19
20	let bin_writer_t = M.bin_writer_t
21
22	let bin_reader_t = { read = bin_read_t; vtag_read = __bin_read_t__ }
23
24	let bin_t =
25	{ shape = bin_shape_t; writer = bin_writer_t; reader = bin_reader_t }
26	end
27
28	module Sexp (M : Intf.Input.Sexp_intf) :
29	Intf.Partial.Sexp_intf with type t := M.t = struct
30	let sexp_of_t = M.sexp_of_t
31
32	let t_of_sexp t = Table.attach_finalizer M.id (M.t_of_sexp t)	×
33	end
34
35	module Yojson (M : Intf.Input.Yojson_intf) :
36	Intf.Partial.Yojson_intf with type t := M.t = struct
37	let to_yojson = M.to_yojson
38
39	let of_yojson json =
40	M.of_yojson json \|> Result.map ~f:(Table.attach_finalizer M.id)	×
41	end
42	end
43
44	module Basic (M : Intf.Input.Basic_intf) :
45	Intf.Output.Basic_intf with type t = M.t and type 'a creator := 'a M.creator =
46	struct
47	type t = M.t
48
49	let create = M.map_creator M.create ~f:(Table.attach_finalizer M.id)	79✔
50	end
51
52	module Bin_io (M : Intf.Input.Bin_io_intf) :
53	Intf.Output.Bin_io_intf with type t = M.t and type 'a creator := 'a M.creator =
54	struct
55	include Basic (M)
56	include Partial.Bin_io (M)
57	end
58
59	module Sexp (M : Intf.Input.Sexp_intf) :
60	Intf.Output.Sexp_intf with type t = M.t and type 'a creator := 'a M.creator =
61	struct
62	include Basic (M)
63	include Partial.Sexp (M)
64	end
65
66	module Bin_io_and_sexp (M : Intf.Input.Bin_io_and_sexp_intf) :
67	Intf.Output.Bin_io_and_sexp_intf
68	with type t = M.t
69	and type 'a creator := 'a M.creator = struct
70	include Basic (M)
71	include Partial.Bin_io (M)
72	include Partial.Sexp (M)
73	end
74
75	module Yojson (M : Intf.Input.Yojson_intf) :
76	Intf.Output.Yojson_intf with type t = M.t and type 'a creator := 'a M.creator =
77	struct
78	include Basic (M)
79	include Partial.Yojson (M)
80	end
81
82	module Bin_io_and_yojson (M : Intf.Input.Bin_io_and_yojson_intf) :
83	Intf.Output.Bin_io_and_yojson_intf
84	with type t = M.t
85	and type 'a creator := 'a M.creator = struct
86	include Basic (M)
87	include Partial.Bin_io (M)
88	include Partial.Yojson (M)
89	end
90
91	module Full (M : Intf.Input.Full_intf) :
92	Intf.Output.Full_intf with type t = M.t and type 'a creator := 'a M.creator =
93	struct
94	include Basic (M)
95	include Partial.Bin_io (M)
96	include Partial.Sexp (M)
97	include Partial.Yojson (M)
98	end
99
100	module Versioned_v1 = struct
101	module Basic_intf (M : Intf.Input.Versioned_v1.Basic_intf) : sig
102	include
103	Intf.Output.Versioned_v1.Basic_intf
104	with type Stable.V1.t = M.Stable.V1.t
105	and type 'a Stable.V1.creator = 'a M.Stable.V1.creator
106	end = struct
107	module Stable = struct
108	module V1 = struct
109	include Bin_io (struct
110	let id = M.id
111
112	include M.Stable.V1
113	end)
114
115	let __versioned__ = ()
116
117	type 'a creator = 'a M.Stable.V1.creator
118	end
119
120	module Latest = V1
121	end
122
123	type t = Stable.Latest.t
124	end
125
126	module Sexp (M : Intf.Input.Versioned_v1.Sexp_intf) : sig
127	include
128	Intf.Output.Versioned_v1.Sexp_intf
129	with type Stable.V1.t = M.Stable.V1.t
130	and type 'a Stable.V1.creator = 'a M.Stable.V1.creator
131	end = struct
132	module Stable = struct
133	module V1 = struct
134	include Bin_io_and_sexp (struct
135	let id = M.id
136
137	include M.Stable.V1
138	end)
139
140	let __versioned__ = ()
141
142	type 'a creator = 'a M.Stable.V1.creator
143	end
144
145	module Latest = V1
146	end
147
148	type t = Stable.Latest.t
149	end
150
151	module Yojson (M : Intf.Input.Versioned_v1.Yojson_intf) : sig
152	include
153	Intf.Output.Versioned_v1.Yojson_intf
154	with type Stable.V1.t = M.Stable.V1.t
155	and type 'a Stable.V1.creator = 'a M.Stable.V1.creator
156	end = struct
157	module Stable = struct
158	module V1 = struct
159	include Bin_io_and_yojson (struct
160	let id = M.id
161
162	include M.Stable.V1
163	end)
164
165	let __versioned__ = ()
166
167	type 'a creator = 'a M.Stable.V1.creator
168	end
169
170	module Latest = V1
171	end
172
173	type t = Stable.Latest.t
174	end
175
176	module Full_compare_eq_hash
177	(M : Intf.Input.Versioned_v1.Full_compare_eq_hash_intf) : sig
178	include
179	Intf.Output.Versioned_v1.Full_compare_eq_hash_intf
180	with type Stable.V1.t = M.Stable.V1.t
181	and type 'a Stable.V1.creator = 'a M.Stable.V1.creator
182	end = struct
183	module Stable = struct
184	module V1 = struct
185	include Full (struct
186	let id = M.id
187
188	include M.Stable.V1
189	end)
190
191	let compare = M.Stable.V1.compare
192
193	let equal = M.Stable.V1.equal
194
195	let hash = M.Stable.V1.hash
196
197	let hash_fold_t = M.Stable.V1.hash_fold_t
198
199	let __versioned__ = ()
200
201	type 'a creator = 'a M.Stable.V1.creator
202	end
203
204	module Latest = V1
205	end
206
207	type t = Stable.Latest.t
208
209	let equal = M.equal
210
211	let compare = M.compare
212
213	let hash = M.hash
214
215	let hash_fold_t = M.hash_fold_t
216	end
217
218	module Full (M : Intf.Input.Versioned_v1.Full_intf) : sig
219	include
220	Intf.Output.Versioned_v1.Full_intf
221	with type Stable.V1.t = M.Stable.V1.t
222	and type 'a Stable.V1.creator = 'a M.Stable.V1.creator
223	end = struct
224	module Stable = struct
225	module V1 = struct
226	include Full (struct
227	let id = M.id
228
229	include M.Stable.V1
230	end)
231
232	let __versioned__ = ()
233
234	type 'a creator = 'a M.Stable.V1.creator
235	end
236
237	module Latest = V1
238	end
239
240	type t = Stable.Latest.t
241	end
242	end
243
244	module Versioned_v2 = struct
245	module Sexp (M : Intf.Input.Versioned_v2.Sexp_intf) : sig
246	include
247	Intf.Output.Versioned_v2.Sexp_intf
248	with type Stable.V2.t = M.Stable.V2.t
249	and type 'a Stable.V2.creator = 'a M.Stable.V2.creator
250	and type Stable.V1.t = M.Stable.V1.t
251	and type 'a Stable.V1.creator = 'a M.Stable.V1.creator
252	end = struct
253	module Stable = struct
254	module V2 = struct
255	include Bin_io_and_sexp (struct
256	let id = M.id
257
258	include M.Stable.V2
259	end)
260
261	let __versioned__ = ()
262
263	type 'a creator = 'a M.Stable.V2.creator
264	end
265
266	module V1 = struct
267	include Bin_io_and_sexp (struct
268	let id = M.id
269
270	include M.Stable.V1
271	end)
272
273	let __versioned__ = ()
274
275	type 'a creator = 'a M.Stable.V1.creator
276
277	let to_latest = M.Stable.V1.to_latest
278	end
279
280	module Latest = V2
281	end
282
283	type t = Stable.Latest.t
284	end
285	end	24✔

MinaProtocol / mina / 2817

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