Make (test_util.Test

Parameters

module Impl : Snarky_backendless.Snark_intf.S

Signature

val triple_string : (bool * bool * bool) list -> string

val checked_to_unchecked : 
  ( 'a, 'b ) Impl.Typ.t ->
  ( 'c, 'd ) Impl.Typ.t ->
  ( 'e -> 'f Impl.Checked.t ) ->
  'g ->
  'h

val test_to_triples : 
  ( 'a, 'b ) Impl.Typ.t ->
  ( 'c -> (bool * bool * bool) Fold_lib.Fold.t ) ->
  ( 'd ->
    (Impl.Boolean.var * Impl.Boolean.var * Impl.Boolean.var) list
      Impl.Checked.t ) ->
  'e ->
  unit

val test_equal : 
  ?equal:( 'a -> 'a -> bool ) ->
  ( 'b, 'c ) Impl.Typ.t ->
  ( 'd, 'e ) Impl.Typ.t ->
  ( 'b -> 'd Impl.Checked.t ) ->
  ( 'f -> 'g ) ->
  'h ->
  unit

val arbitrary_string : len:int -> string

val with_randomness : int -> ( unit -> 'a ) -> 'b

val print_digest : string -> Base.unit

utility function to print digests to put in tests, see `check_serialization' below

val check_serialization : 
  (module Core_kernel.Binable.S with type t = 't) ->
  't0 ->
  Core_kernel.String.t ->
  bool

use this function to test Bin_prot serialization of types