2908

Committed 12 Nov 2024 12:30PM UTC coverage: 36.715% (-25.0%) from 61.682%

Build # 2908

Build Type

push

buildkite

Committed by

web-flow

Commit Message

Merge pull request #16333 from MinaProtocol/dkijania/port_new_deb_s3_dev

[DEV] Use new version of deb-s3 for validating job publishing

Run Details

24544 of 66850 relevant lines covered (36.72%)

20720.94 hits per line

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

83.33

/src/lib/mina_base/call_stack_digest.ml

open Core_kernel
module Wire_types = Mina_wire_types.Mina_base.Call_stack_digest

module Make_sig (A : Wire_types.Types.S) = struct
  module type S = Call_stack_digest_intf.Full with type Stable.V1.t = A.V1.t
end

module Make_str (A : Wire_types.Concrete) = struct
  [%%versioned
  module Stable = struct
    module V1 = struct
      type t = Kimchi_backend.Pasta.Basic.Fp.Stable.V1.t
      [@@deriving sexp, compare, equal, hash, yojson]

      let to_latest = Fn.id
    end
  end]

  open Pickles.Impls.Step

  let cons (h : Stack_frame.Digest.t) (t : t) : t =
    Random_oracle.hash ~init:Hash_prefix_states.account_update_stack_frame_cons
      [| (h :> Field.Constant.t); t |]

  let empty = Field.Constant.zero

  let gen = Field.Constant.gen

  module Checked = struct
    include Field

    let cons (h : Stack_frame.Digest.Checked.t) (t : t) : t =
      Random_oracle.Checked.hash
        ~init:Hash_prefix_states.account_update_stack_frame_cons
        [| (h :> Field.t); t |]
  end

  let constant = Field.constant

  let typ = Field.typ
end

include Wire_types.Make (Make_sig) (Make_str)

1	open Core_kernel	23✔
2	module Wire_types = Mina_wire_types.Mina_base.Call_stack_digest
3
4	module Make_sig (A : Wire_types.Types.S) = struct
5	module type S = Call_stack_digest_intf.Full with type Stable.V1.t = A.V1.t
6	end
7
8	module Make_str (A : Wire_types.Concrete) = struct
9	[%%versioned
10	module Stable = struct
11	module V1 = struct
12	type t = Kimchi_backend.Pasta.Basic.Fp.Stable.V1.t	3✔
13	[@@deriving sexp, compare, equal, hash, yojson]	115✔
14
15	let to_latest = Fn.id
16	end
17	end]
18
19	open Pickles.Impls.Step
20
21	let cons (h : Stack_frame.Digest.t) (t : t) : t =
22	Random_oracle.hash ~init:Hash_prefix_states.account_update_stack_frame_cons	×
23	[\| (h :> Field.Constant.t); t \|]
24
25	let empty = Field.Constant.zero
26
27	let gen = Field.Constant.gen
28
29	module Checked = struct
30	include Field
31
32	let cons (h : Stack_frame.Digest.Checked.t) (t : t) : t =
33	Random_oracle.Checked.hash	240✔
34	~init:Hash_prefix_states.account_update_stack_frame_cons
35	[\| (h :> Field.t); t \|]
36	end
37
38	let constant = Field.constant
39
40	let typ = Field.typ
41	end
42
43	include Wire_types.Make (Make_sig) (Make_str)	23✔

MinaProtocol / mina / 2908

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