Misbehaviour_repr (mavkit-protocol-alpha-libs.Mavryk_alpha_test_helpers.Slashing_helpers.Misbehaviour

val pp : 
  Stdlib.Format.formatter ->
  Mavryk_protocol_alpha.Protocol.Misbehaviour_repr.t ->
  unit

val from_duplicate_operation : 
  'kind Mavryk_protocol_alpha.Protocol.Alpha_context.Kind.consensus
    Mavryk_protocol_alpha.Protocol.Alpha_context.operation ->
  Mavryk_protocol_alpha.Protocol.Misbehaviour_repr.t

Builds a misbehaviour object from either of the duplicate (pre)attestations that constitute a double (pre)attestating event.

val check_from_duplicate_operation : 
  loc:string ->
  Mavryk_raw_protocol_alpha.Misbehaviour_repr.t ->
  'kind Mavryk_protocol_alpha.Protocol.Alpha_context.Kind.consensus
    Mavryk_protocol_alpha.Protocol.Alpha_context.operation ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

check_from_duplicate_operation ~loc misbehaviour duplicate_op asserts that misbehaviour correctly describes a double signing event involving duplicate_op.

val from_duplicate_block : 
  Block.t ->
  Mavryk_protocol_alpha.Protocol.Misbehaviour_repr.t
    Mavryk_base.TzPervasives.tzresult

Builds a misbehaviour object from either of the duplicate blocks that constitute a double baking event.