package ff-pbt

  1. Overview
  2. Docs
val max_output_alcotest : int
val repeat : ?n:int -> (unit -> 'a) -> unit -> unit

Check the routine generators do not raise any exception

module MakeIsZero (FiniteField : Ff_sig.BASE) : sig ... end
module MakeEquality (FiniteField : Ff_sig.BASE) : sig ... end
module MakeSquareRoot (PrimeField : Ff_sig.PRIME) : sig ... end
module MakeAll (FiniteField : Ff_sig.BASE) : sig ... end
OCaml

Innovation. Community. Security.