Error_helpers (octez-protocol-alpha-libs.Tezos_alpha_test_helpers.Error

val check_error_constructor_name : 
  loc:string ->
  expected:'a ->
  Tezos_base.TzPervasives.Error_monad.tztrace ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val check_inconsistent_sources : 
  first_source:Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  source:Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_environment_alpha.Error_monad.error list ->
  bool

Identifies the Inconsistent_sources error.

val expect_inconsistent_sources : 
  loc:string ->
  first_source:Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  source:Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_base.TzPervasives.Error_monad.tztrace ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

To be used as the expect_failure argument of Incremental.add_operation when expecting the Inconsistent_sources error.

val check_inconsistent_counters : 
  source:Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  previous_counter:
    Tezos_protocol_alpha.Protocol.Alpha_context.Manager_counter.t ->
  counter:Tezos_protocol_alpha.Protocol.Alpha_context.Manager_counter.t ->
  Tezos_protocol_environment_alpha.Error_monad.error list ->
  bool

Identifies the Inconsistent_counters error.

val expect_inconsistent_counters : 
  loc:string ->
  source:Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  previous_counter:
    Tezos_protocol_alpha.Protocol.Alpha_context.Manager_counter.t ->
  counter:Tezos_protocol_alpha.Protocol.Alpha_context.Manager_counter.t ->
  Tezos_base.TzPervasives.Error_monad.tztrace ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

To be used as the expect_failure argument of Incremental.add_operation when expecting the Inconsistent_counters error.

val expect_inconsistent_counters_int : 
  loc:string ->
  source:Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  previous_counter:int ->
  counter:int ->
  Tezos_base.TzPervasives.Error_monad.tztrace ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

Same as expect_inconsistent_counters but with int arguments for counters.

val expect_incorrect_reveal_position : 
  loc:string ->
  Tezos_base.TzPervasives.Error_monad.tztrace ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

To be used as the expect_failure argument of Incremental.add_operation when expecting the Incorrect_reveal_position error.

val expect_forbidden_delegate : 
  loc:string ->
  delegate:Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_base.TzPervasives.Error_monad.tztrace ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val expect_outdated_denunciation : 
  loc:string ->
  ?kind:Tezos_protocol_alpha.Protocol.Alpha_context.Misbehaviour.kind ->
  ?level:Tezos_protocol_alpha.Protocol.Alpha_context.Raw_level.t ->
  ?last_cycle:Tezos_protocol_alpha.Protocol.Alpha_context.Cycle.t ->
  Tezos_base.TzPervasives.Error_monad.tztrace ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val expect_outdated_denunciation_state : 
  loc:string ->
  state:State.t ->
  Tezos_base.TzPervasives.Error_monad.tztrace ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val expect_no_slots_found_for : 
  loc:string ->
  pkh:Tezos_alpha_test_helpers.Signature.Public_key_hash.t ->
  Tezos_base.TzPervasives.tztrace ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val expect_empty_transaction : 
  loc:string ->
  contract:Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_base.TzPervasives.Error_monad.tztrace ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val expect_balance_too_low : 
  loc:string ->
  Tezos_base.TzPervasives.Error_monad.tztrace ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val expect_failwith : 
  loc:string ->
  ?str:Str.regexp ->
  Tezos_base.TzPervasives.tztrace ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

expect_failwith str err checks whether err is a failwith error containing a string that matches the regular expression str.

For example, in case of a failure, Assert.equal a b prints a string saying that a is not equal to b, replacing a and b with their actual values. In this case, Str.regexp ".*\n.*is not equal to.*" is constructed to check for such kind of errors.

val expect_empty_implicit_delegated_contract : 
  loc:string ->
  contract:Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_base.TzPervasives.Error_monad.tztrace ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val expect_incorrect_bls_proof : 
  loc:string ->
  kind_pk:Tezos_raw_protocol_alpha.Operation_repr.public_key_kind ->
  pk:Tezos_alpha_test_helpers.Signature.Public_key.t ->
  Tezos_base.TzPervasives.Error_monad.tztrace ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val expect_unused_bls_proof : 
  loc:string ->
  kind_pk:Tezos_raw_protocol_alpha.Operation_repr.public_key_kind ->
  Tezos_base.TzPervasives.Error_monad.tztrace ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val expect_missing_bls_proof : 
  loc:string ->
  kind_pk:Tezos_raw_protocol_alpha.Operation_repr.public_key_kind ->
  pk:Tezos_alpha_test_helpers.Signature.Public_key.t ->
  source_pkh:Tezos_alpha_test_helpers.Signature.Public_key_hash.t ->
  Tezos_base.TzPervasives.Error_monad.tztrace ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val invalid_signature : 
  Tezos_protocol_environment_alpha.Error_monad.error ->
  bool

val conflicting_consensus_operation : 
  ?kind:
    Tezos_protocol_alpha.Protocol.Validate_errors.Consensus.consensus_operation_kind ->
  Tezos_protocol_environment_alpha.Error_monad.error ->
  bool

val aggregate_disabled : 
  Tezos_protocol_environment_alpha.Error_monad.error ->
  bool

val aggregate_in_mempool : 
  Tezos_protocol_environment_alpha.Error_monad.error ->
  bool

val non_bls_key_in_aggregate : 
  Tezos_protocol_environment_alpha.Error_monad.error ->
  bool

val unaggregated_eligible_attestation : 
  ?kind:
    Tezos_protocol_alpha.Protocol.Validate_errors.Consensus.consensus_operation_kind ->
  Tezos_protocol_environment_alpha.Error_monad.error ->
  bool

val empty_aggregation_committee : 
  Tezos_protocol_environment_alpha.Error_monad.error ->
  bool

val wrong_slot_used_for_preattestation : 
  Tezos_protocol_environment_alpha.Error_monad.error ->
  bool

val wrong_slot_used_for_attestation : 
  Tezos_protocol_environment_alpha.Error_monad.error ->
  bool

val missing_companion_key_for_bls_dal : 
  Tezos_protocol_environment_alpha.Error_monad.error ->
  bool