Module PBT.MakeValueGeneration

Parameters

module G : sig ... end

Signature

val random : unit -> unit
val negation_with_random : unit -> unit
val negation_with_zero : unit -> unit
val negation_with_one : unit -> unit
val double_with_zero : unit -> unit
val double_with_one : unit -> unit
val double_with_random : unit -> unit
val addition_generates_valid_point : unit -> unit
val double_generates_valid_point : unit -> unit
val scalar_multiplication_generates_valid_point : unit -> unit
val check_bytes_random_with_to_bytes : unit -> unit
val negate_generates_a_valid_point : unit -> unit
val of_bytes_with_to_bytes_are_inverse_functions : unit -> unit
val get_tests : unit -> string * unit Alcotest.test_case list

Returns the tests to be used with Alcotest