MinaProtocol / mina / 3270

coverage: 32.557% (-28.1%) from 60.697%
3270

push

buildkite

web-flow 
Merge pull request #16544 from MinaProtocol/georgeee/proof-cache-tag-2-use-proof_carrying_data-in-transaction_snark-develop

[Develop] Use Proof_carrying_data in Transaction_snark.t

3 of 19 new or added lines in 2 files covered. (15.79%)

18553 existing lines in 371 files now uncovered.

23252 of 71420 relevant lines covered (32.56%)

16789.46 hits per line

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

66.67
/src/lib/mina_base/call_stack_digest.ml
1 
open Core_kernel
22✔
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











UNCOV

12



      type t = Kimchi_backend.Pasta.Basic.Fp.Stable.V1.t




×







13



      [@@deriving sexp, compare, equal, hash, yojson]




110✔





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)




22✔



















    

  • 

    •