2859

Committed 05 Nov 2024 02:59PM UTC coverage: 39.714% (+6.5%) from 33.256%

Build # 2859

Build Type

push

buildkite

Committed by

web-flow

Commit Message

Merge pull request #16321 from MinaProtocol/dkijania/port_remove_fuzzy_zkapp_from_ci

[dev] port remove fuzzy zkapp from ci

Run Details

13323 of 33547 relevant lines covered (39.71%)

6894.11 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	9✔
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	1✔
13	[@@deriving sexp, compare, equal, hash, yojson]	45✔
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	96✔
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)	9✔

MinaProtocol / mina / 2859

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