Module Plonk_test.HelpersSource

Sourceval with_seed : (unit -> unit) -> unit
Sourceval output_buffer : out_channel ref
Sourceval with_output_to_file : (unit -> unit) -> unit
Sourceval set_seed : int -> unit
Sourceval bigstring_of_file : string -> hash:string -> (char, Bigarray.int8_unsigned_elt, Bigarray.c_layout) Bigarray.Array1.t
Sourceval load_real_srs : string -> (Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.Srs_g1.t * Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.Srs_g2.t) * (Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.Srs_g1.t * Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.Srs_g2.t)
Sourceval make_fake_srs : unit -> Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.t * Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.t
Sourceval srs : Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.t * Octez_bls12_381_polynomial.Bls12_381_polynomial.Srs.t
Sourceval repeat : int -> (unit -> 'a) -> unit
Sourceval must_fail : (unit -> 'a) -> unit
Sourceval string_of_bytes : float -> string
Sourceval hash_of_repr : 'a Repr.t -> 'a -> string
Sourceval get_input_com_secrets : 'a array -> int list -> 'a array list
Sourcemodule Time : sig ... end
Sourcemodule Make (Main : Plonk.Main_protocol.S) : sig ... end
Sourcemodule Plompiler_Helpers : sig ... end
include module type of struct include Plompiler_Helpers end
Sourcetype test_info = Plompiler_Helpers.test_info = {
  1. valid : bool;
  2. name : string;
  3. flamegraph : bool;
}
Sourcemodule type Test = Plompiler_Helpers.Test
Sourceval to_test : ?plonk:(module Plonk.Main_protocol.S) -> ?optimize:bool -> (module Test) -> unit -> unit