package ff-pbt

  1. Overview
  2. Docs

Check the routine generators do not raise any exception

Parameters

Signature

val zero : unit -> unit
val random : unit -> unit
val non_null_random : unit -> unit
val one : unit -> unit
val inverse_with_random_not_null : unit -> unit
val inverse_with_one : unit -> unit
val negation_with_random : unit -> unit
val negation_with_zero : unit -> unit
val negation_with_one : unit -> unit
val square_with_one : unit -> unit
val square_with_random : unit -> unit
val double_with_zero : unit -> unit
val double_with_one : unit -> unit
val double_with_random : unit -> unit
val double_is_same_than_multiply_by_same_element : unit -> unit
val get_tests : unit -> string * unit Alcotest.test_case list