Module `Tezos_alpha_test_helpers.Incremental`Source

Sourcetype t

Sourcetype incremental = t

Sourceval predecessor : incremental -> Block.t

val header : 
  incremental ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Block_header.t

Source

val rev_tickets : 
  incremental ->
  Tezos_protocol_alpha.Protocol.operation_receipt list

Source

val validation_state : 
  incremental ->
  Tezos_protocol_alpha.Protocol.validation_state

Sourceval level : incremental -> int32

Source

val begin_construction : 
  ?timestamp:Tezos_base.TzPervasives.Time.Protocol.t ->
  ?seed_nonce_hash:Tezos_protocol_alpha.Protocol.Nonce_hash.t ->
  ?mempool_mode:bool ->
  ?policy:Block.baker_policy ->
  ?liquidity_baking_toggle_vote:
    Tezos_protocol_alpha.Protocol.Per_block_votes_repr.per_block_vote ->
  ?adaptive_issuance_vote:
    Tezos_protocol_alpha.Protocol.Per_block_votes_repr.per_block_vote ->
  Block.t ->
  incremental Tezos_base.TzPervasives.tzresult Lwt.t

begin_construction ?mempool_mode predecessor uses Main.begin_validation_and_application to create a validation and application state on top of predecessor for the construction of a new block.

Optional arguments allow to override defaults:

?mempool_mode:bool: when true, use Partial_construction mode. By default, it is false and the mode is Construction.

Source

val validate_operation : 
  ?expect_failure:
    (Tezos_base.TzPervasives.error list ->
      unit Tezos_base.TzPervasives.tzresult Lwt.t) ->
  ?check_size:bool ->
  incremental ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed ->
  incremental Tezos_base.TzPervasives.tzresult Lwt.t

validate_operation ?expect_failure ?check_size i op tries to validate op in the validation state of i. If the validation succeeds, the function returns the incremental value with a validation state updated after the validate. Otherwise raise the error from the validation of op.

Optional arguments allow to override defaults:

?expect_failure:(error list -> unit tzresult Lwt.t): validation of op is expected to fail and expect_failure should handle the error. In case validate does not fail and an expect_failure is provided, validate_operation fails.
?check_size:bool: enable the check that an operation size should not exceed Constants_repr.max_operation_data_length. Enabled (set to true) by default.

Source

val add_operation : 
  ?expect_failure:
    (Tezos_base.TzPervasives.error list ->
      unit Tezos_base.TzPervasives.tzresult Lwt.t) ->
  ?expect_apply_failure:
    (Tezos_base.TzPervasives.error list ->
      unit Tezos_base.TzPervasives.tzresult Lwt.t) ->
  ?allow_manager_failure:bool ->
  ?check_size:bool ->
  incremental ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed ->
  incremental Tezos_base.TzPervasives.tzresult Lwt.t

add_operation ?expect_failure ?expect_apply_failure ?allow_manager_failure ?check_size i op tries to validate then apply op in the validation and application state of i. If the validation of op succeeds, the function returns the incremental value with a validation state updated after the application of op. Otherwise raise the error from the validation of op.

Optional arguments allow to override defaults:

parameter expect_failure
validation of op is expected to fail and expect_failure should handle the error. In case validate does not fail and expect_failure is provided, validate_operation fails.

parameter expect_apply_failure
application of op is expected to fail and expect_apply_failure should handle the errror. In case the application of op does not fail and expect_apply_failure is provided, add_operation fails.

parameter allow_manager_failure
marks that manager operation failures after fee taken are ignored.

parameter check_size
enable the check that an operation size should not exceed Constants_repr.max_operation_data_length. Enabled (set to true) by default.

Source

val finalize_block : 
  incremental ->
  Block.t Tezos_base.TzPervasives.tzresult Lwt.t

finalize_block i creates a Block.t based on the protocol states and the operations contained in i. The function calls Main.finalize_application to compute a new context.

Source

val assert_validate_operation_fails : 
  (Tezos_base.TzPervasives.tztrace ->
    unit Tezos_base.TzPervasives.tzresult Lwt.t) ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed ->
  Block.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

assert_validate_operation_fails expect_failure operation block calls begin_construction on top of block, then validate_operation with ~expect_failure.

Sourceval rpc_ctxt : incremental Tezos_protocol_alpha.Environment.RPC_context.simple

Source

val alpha_ctxt : 
  incremental ->
  Tezos_protocol_alpha.Protocol.Alpha_context.context

Source

val set_alpha_ctxt : 
  incremental ->
  Tezos_protocol_alpha.Protocol.Alpha_context.context ->
  incremental

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-protocol-alpha-libs.test-helpers/Tezos_alpha_test_helpers/Incremental/index.html

Module `Tezos_alpha_test_helpers.Incremental`Source

package octez-protocol-alpha-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-protocol-alpha-libs.test-helpers/Tezos_alpha_test_helpers/Incremental/index.html

Module Tezos_alpha_test_helpers.IncrementalSource

Module `Tezos_alpha_test_helpers.Incremental`Source