package tezos-012-Psithaca-test-helpers

You can search for identifiers within the package.

in-package search v0.2.0

tezos-012-Psithaca-test-helpers
- Tezos_012_Psithaca_test_helpers
  - Account
  - Assert
    
    Int32
    
    Int64
  - Block
    
    Forge
  - Consensus_helpers
  - Context
    
    Contract
    
    Delegate
    
    Vote
  - Contract_helpers
  - Cpmm_logic
    
    Simulate
    
    Simulate_raw
  - Cpmm_repr
    
    Parameter
    
    Storage
  - Error_monad_operators
  - Expr
  - Expr_common
  - Incremental
  - Liquidity_baking_generator
  - Liquidity_baking_machine
    
    ConcreteMachine
    
    SymbolicMachine
    
    ValidationMachine
    
    Concrete
    
    Symbolic
  - Lqt_fa12_repr
    
    Parameter
    
    Storage
  - Nonce
  - Op
  - Rewards
  - Sapling_helpers
    
    Alpha_context_helpers
    
    Common
    
    Interpreter_helpers
  - Script_big_map
  - Script_list
  - Script_map
  - Script_set
  - Test_global_constants
    
    Generators
  - Test_tez
  - Testable

Legend:
Library
Module
Module type
Parameter
Class
Class type

val test_consensus_operation : 
  ?construction_mode:
    (Block.block
     * Tezos_protocol_012_Psithaca.Protocol.block_header_data option) ->
  ?level:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Raw_level.t ->
  ?block_payload_hash:Tezos_protocol_012_Psithaca.Protocol.Block_payload_hash.t ->
  ?slot:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Slot.t ->
  ?round:Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Round.t ->
  endorsed_block:Block.t ->
  error_title:string ->
  is_preendorsement:bool ->
  context:Context.t ->
  loc:string ->
  unit ->
  (unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t

val delegate_of_first_slot : 
  Context.t ->
  ((Tezos_protocol_012_Psithaca.Protocol.Environment.Signature.Public_key_hash.t
    * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Slot.t list)
   * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Slot.t,
    Tezos_error_monad.TzCore.error list)
    Stdlib.result
    Lwt.t

val delegate_of_slot : 
  Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Slot.t ->
  Context.t ->
  (Tezos_protocol_012_Psithaca.Protocol.Environment.Signature.Public_key_hash.t
   * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Slot.t list,
    Tezos_error_monad.TzCore.error list)
    Stdlib.result
    Lwt.t

val test_consensus_op_for_next : 
  genesis:Block.t ->
  kind:[< `Endorsement | `Preendorsement ] ->
  next:[< `Level | `Round ] ->
  (unit, Tezos_error_monad.TzCore.error list) Stdlib.result Lwt.t