package qcheck-core

  1. Overview
  2. Docs
On This Page
  1. Internal Utils
Core QCheck library

Install 

dune-project
 Dependency

github.com Changelog Edit opam file Versions (4)

Authors

  1. T
    the qcheck contributors

Maintainers

  1. S
    simon.cruanes.2007@m4x.org

Sources

v0.26.tar.gz
md5=3eba3b3b47ccfa48afd1ce7dbdd463f7
sha512=6f4749df32629b2a64034f7a8d07079b8d3d628cc402c52bbdbd7e287ca20adf8e8133f91d79e75d8402100715a1138d62904b2d9c1d1595602d5206e0862305

doc/qcheck-core.runner/QCheck_base_runner/Raw/index.html

Module QCheck_base_runner.RawSource

Internal Utils

We provide NO stability guarantee for this module. Use at your own risks.

Sourcetype ('b, 'c) printer = {
  1. info : 'a. ('a, 'b, 'c, unit) format4 -> 'a;
  2. fail : 'a. ('a, 'b, 'c, unit) format4 -> 'a;
  3. err : 'a. ('a, 'b, 'c, unit) format4 -> 'a;
}
Sourceval print_std : (out_channel, unit) printer
Sourceval callback : colors:bool -> verbose:bool -> print_res:bool -> print:('a, 'b) printer -> string -> 'c QCheck2.Test.cell -> 'c QCheck2.TestResult.t -> unit
Sourcetype cli_args = {
  1. cli_verbose : bool;
  2. cli_long_tests : bool;
  3. cli_print_list : bool;
  4. cli_rand : Random.State.t;
  5. cli_slow_test : int;
  6. cli_colors : bool;
  7. cli_debug_shrink : out_channel option;
  8. cli_debug_shrink_list : string list;
}
Sourceval parse_cli : full_options:bool -> string array -> cli_args