• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

MinaProtocol / mina / 411

24 Jul 2025 03:14PM UTC coverage: 33.188% (-27.7%) from 60.871%
411

push

buildkite

web-flow
Merge pull request #17541 from MinaProtocol/brian/merge-compatible-into-develop

Merge compatible into develop

164 of 702 new or added lines in 96 files covered. (23.36%)

18243 existing lines in 393 files now uncovered.

23983 of 72264 relevant lines covered (33.19%)

24667.26 hits per line

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

66.67
/src/lib/precomputed_values/precomputed_values.ml
1
open Core
75✔
2
module T = Genesis_proof.T
3
include T
4

5
let hashes =
6
  lazy
NEW
7
    (let signature_kind = Mina_signature_kind.t_DEPRECATED in
×
8
     let constraint_constants =
9
       Genesis_constants.For_unit_tests.Constraint_constants.t
10
     in
11
     let proof_level = Genesis_constants.Proof_level.Full in
12
     let ts =
13
       Transaction_snark.constraint_system_digests ~signature_kind
14
         ~constraint_constants ()
15
     in
16
     let bs =
×
17
       Blockchain_snark.Blockchain_snark_state.constraint_system_digests
18
         ~proof_level ~constraint_constants ()
19
     in
20
     ts @ bs )
×
21

22
let for_unit_tests =
23
  lazy
24
    (let open Staged_ledger_diff in
58✔
25
    let protocol_state_with_hashes =
26
      Mina_state.Genesis_protocol_state.t
27
        ~genesis_ledger:
28
          (let open Genesis_ledger in
29
          Packed.t for_unit_tests)
58✔
30
        ~genesis_epoch_data:Consensus.Genesis_epoch_data.for_unit_tests
31
        ~constraint_constants:
32
          Genesis_constants.For_unit_tests.Constraint_constants.t
33
        ~consensus_constants:(Lazy.force Consensus.Constants.for_unit_tests)
58✔
34
        ~genesis_body_reference
35
    in
36
    { runtime_config = Runtime_config.default
37
    ; constraint_constants =
38
        Genesis_constants.For_unit_tests.Constraint_constants.t
39
    ; proof_level = Genesis_constants.For_unit_tests.Proof_level.t
40
    ; genesis_constants = Genesis_constants.For_unit_tests.t
41
    ; genesis_ledger = Genesis_ledger.for_unit_tests
42
    ; genesis_epoch_data = Consensus.Genesis_epoch_data.for_unit_tests
43
    ; genesis_body_reference
44
    ; consensus_constants = Lazy.force Consensus.Constants.for_unit_tests
58✔
45
    ; protocol_state_with_hashes
46
    ; constraint_system_digests = hashes
47
    ; proof_data = None
48
    })
150✔
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc