package tezos-012-Psithaca-test-helpers

  1. Overview
  2. Docs
val z_gen : Z.t QCheck.Gen.t
val micheline_node_gen : 'l QCheck.Gen.t -> 'p QCheck.Gen.t -> Tezos_micheline.Micheline.annot QCheck.Gen.t -> ('l, 'p) Tezos_micheline.Micheline.node QCheck.Gen.t
val micheline_gen : 'a QCheck.Gen.t -> Tezos_micheline.Micheline.annot QCheck.Gen.t -> 'a Tezos_micheline.Micheline.canonical QCheck.Gen.t
val canonical_without_constant_gen : unit -> Tezos_protocol_012_Psithaca.Protocol.Michelson_v1_primitives.prim Tezos_micheline.Micheline.canonical QCheck.Gen.t
val canonical_without_constant_arbitrary : unit -> Tezos_protocol_012_Psithaca.Protocol.Michelson_v1_primitives.prim Tezos_micheline.Micheline.canonical QCheck.arbitrary
val canonical_with_constant_gen : unit -> (Tezos_protocol_012_Psithaca.Protocol.Michelson_v1_primitives.prim Tezos_micheline.Micheline.canonical * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim Tezos_micheline.Micheline.canonical * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim Tezos_micheline.Micheline.canonical) QCheck.Gen.t
val canonical_with_constant_arbitrary : unit -> (Tezos_protocol_012_Psithaca.Protocol.Michelson_v1_primitives.prim Tezos_micheline.Micheline.canonical * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim Tezos_micheline.Micheline.canonical * Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Script.prim Tezos_micheline.Micheline.canonical) QCheck.arbitrary