tezos-alpha-test-helpers 12.3

val endorsement : 
  ?delegate:
    (Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash
     * Tezos_protocol_alpha.Protocol.Alpha_context.Slot.t list) ->
  ?slot:Tezos_protocol_alpha.Protocol.Alpha_context.Slot.t ->
  ?level:Tezos_protocol_alpha.Protocol.Alpha_context.Raw_level.t ->
  ?round:Tezos_protocol_alpha.Protocol.Alpha_context.Round.t ->
  ?block_payload_hash:Tezos_protocol_alpha.Protocol.Block_payload_hash.t ->
  endorsed_block:Block.t ->
  Context.t ->
  ?signing_context:Context.t ->
  unit ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Kind.endorsement
     Tezos_protocol_alpha.Protocol.Alpha_context.Operation.t,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val preendorsement : 
  ?delegate:
    (Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash
     * Tezos_protocol_alpha.Protocol.Alpha_context.Slot.t list) ->
  ?slot:Tezos_protocol_alpha.Protocol.Alpha_context.Slot.t ->
  ?level:Tezos_protocol_alpha.Protocol.Alpha_context.Raw_level.t ->
  ?round:Tezos_protocol_alpha.Protocol.Alpha_context.Round.t ->
  ?block_payload_hash:Tezos_protocol_alpha.Protocol.Block_payload_hash.t ->
  endorsed_block:Block.t ->
  Context.t ->
  ?signing_context:Context.t ->
  unit ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Kind.preendorsement
     Tezos_protocol_alpha.Protocol.Alpha_context.Operation.t,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val miss_signed_endorsement : 
  ?level:Tezos_protocol_alpha.Protocol.Alpha_context.Raw_level.t ->
  endorsed_block:Block.t ->
  Context.t ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Kind.endorsement
     Tezos_protocol_alpha.Protocol.Alpha_context.Operation.t,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val transaction : 
  ?counter:Z.t ->
  ?fee:Tezos_protocol_alpha.Protocol.Alpha_context.Tez.tez ->
  ?gas_limit:Tezos_protocol_alpha.Protocol.Alpha_context.Gas.Arith.integral ->
  ?storage_limit:Z.t ->
  ?parameters:Tezos_protocol_alpha.Protocol.Alpha_context.Script.lazy_expr ->
  ?entrypoint:string ->
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val delegation : 
  ?fee:Tezos_protocol_alpha.Protocol.Alpha_context.Tez.tez ->
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash option ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val set_deposits_limit : 
  ?fee:Tezos_protocol_alpha.Protocol.Alpha_context.Tez.tez ->
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Tez.tez option ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val revelation : 
  ?fee:Tezos_protocol_alpha.Protocol.Alpha_context.Tez.tez ->
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.public_key ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val failing_noop : 
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash ->
  string ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val contract_origination : 
  ?counter:Z.t ->
  ?delegate:Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash ->
  script:Tezos_protocol_alpha.Protocol.Alpha_context.Script.t ->
  ?preorigination:
    Tezos_protocol_alpha.Protocol.Alpha_context.Contract.contract option ->
  ?public_key:Tezos_protocol_alpha.Protocol.Alpha_context.public_key ->
  ?credit:Tezos_protocol_alpha.Protocol.Alpha_context.Tez.tez ->
  ?fee:Tezos_protocol_alpha.Protocol.Alpha_context.Tez.tez ->
  ?gas_limit:Tezos_protocol_alpha.Protocol.Alpha_context.Gas.Arith.integral ->
  ?storage_limit:Z.t ->
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.contract ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed
   * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.contract,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

contract_origination ctxt source Create a new contract origination operation, sign it with source and returns it alongside the contract address. The contract address is using the initial origination nonce with the hash of the operation. If this operation is combine with combine_operations then the contract address is false as the nonce is not based on the correct operation hash.

val originated_contract : 
  Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.contract

val register_global_constant : 
  ?counter:Z.t ->
  ?public_key:Tezos_crypto.Signature.public_key ->
  ?fee:Tezos_protocol_alpha.Protocol.Alpha_context.Tez.tez ->
  ?gas_limit:Tezos_protocol_alpha.Protocol.Alpha_context.Gas.Arith.integral ->
  ?storage_limit:Z.t ->
  Context.t ->
  source:Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  value:Tezos_protocol_alpha.Protocol.Alpha_context.Script.lazy_expr ->
  (Tezos_protocol_alpha.Protocol.operation,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val double_endorsement : 
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Kind.endorsement
    Tezos_protocol_alpha.Protocol.Alpha_context.Operation.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Kind.endorsement
    Tezos_protocol_alpha.Protocol.Alpha_context.Operation.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed

val double_preendorsement : 
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Kind.preendorsement
    Tezos_protocol_alpha.Protocol.Alpha_context.Operation.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Kind.preendorsement
    Tezos_protocol_alpha.Protocol.Alpha_context.Operation.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed

val double_baking : 
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Block_header.block_header ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Block_header.block_header ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed

val activation : 
  Context.t ->
  Tezos_crypto.Signature.Public_key_hash.t ->
  Tezos_protocol_alpha.Protocol.Blinded_public_key_hash.activation_code ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val combine_operations : 
  ?public_key:Tezos_protocol_alpha.Protocol.Alpha_context.public_key ->
  ?counter:Tezos_protocol_alpha.Protocol.Alpha_context.counter ->
  ?spurious_operation:
    Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation ->
  source:Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation list ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.packed_operation,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

val seed_nonce_revelation : 
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Raw_level.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Nonce.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed

Reveals a seed_nonce that was previously committed at a certain level

val proposals : 
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_crypto.Protocol_hash.t list ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

Propose a list of protocol hashes during the approval voting

val ballot : 
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_crypto.Protocol_hash.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Vote.ballot ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

Cast a vote yay, nay or pass

val dummy_script : Tezos_protocol_alpha.Protocol.Alpha_context.Script.t

val dummy_script_cost : Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t

val tx_rollup_origination : 
  ?counter:Z.t ->
  ?fee:Tezos_protocol_alpha.Protocol.Alpha_context.Tez.tez ->
  ?gas_limit:Tezos_protocol_alpha.Protocol.Alpha_context.Gas.Arith.integral ->
  ?storage_limit:Z.t ->
  Context.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed
   * Tezos_protocol_alpha.Protocol.Alpha_context.Tx_rollup.t,
    Tezos_error_monad.TzCore.error list)
    result
    Lwt.t

tx_rollup_origination ctxt source Originate a new tx rollup operation, sign it with source and returns it alongside the tx rollup address. The tx_rollup address is using the initial origination nonce with the hash of the operation. If this operation is combined with combine_operations then the tx rollup address is false as the nonce is not based on the correct operation hash.

package tezos-alpha-test-helpers