Breadcrumb.For_tests
val gen :
?logger:Logger.t ->
?send_to_random_pk:bool ->
precomputed_values:Precomputed_values.t ->
verifier:Verifier.t ->
?trust_system:Trust_system.t ->
accounts_with_secret_keys:
(Signature_lib.Private_key.t option * Mina_base.Account.t) list ->
unit ->
( t -> t Async_kernel.Deferred.t ) Core_kernel.Quickcheck.Generator.t
val gen_non_deferred :
?logger:Logger.t ->
precomputed_values:Precomputed_values.t ->
verifier:Verifier.t ->
?trust_system:Trust_system.t ->
accounts_with_secret_keys:
(Signature_lib.Private_key.t option * Mina_base.Account.t) list ->
unit ->
( t -> t ) Core_kernel.Quickcheck.Generator.t
val gen_seq :
?logger:Logger.t ->
precomputed_values:Precomputed_values.t ->
verifier:Verifier.t ->
?trust_system:Trust_system.t ->
accounts_with_secret_keys:
(Signature_lib.Private_key.t option * Mina_base.Account.t) list ->
int ->
( t -> t list Async_kernel.Deferred.t ) Core_kernel.Quickcheck.Generator.t
val build_fail :
?skip_staged_ledger_verification:[ `All | `Proofs ] ->
logger:Logger.t ->
precomputed_values:Precomputed_values.t ->
verifier:Verifier.t ->
trust_system:Trust_system.t ->
parent:t ->
transition:Mina_block.almost_valid_block ->
sender:Network_peer.Envelope.Sender.t option ->
transition_receipt_time:Core_kernel.Time.t option ->
unit ->
( t,
[> `Invalid_staged_ledger_diff of Core_kernel.Error.t
| `Invalid_staged_ledger_hash of Core_kernel.Error.t
| `Fatal_error of exn ] )
Core_kernel.Result.t
Async_kernel.Deferred.t