package qcheck-core

You can search for identifiers within the package.

in-package search v0.2.0

Core QCheck library

Install

Dune Dependency

github.com Changelog Edit opam file Versions (4)

Authors

T

the qcheck contributors

Maintainers

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.Raw`Source

Internal Utils

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

Sourcetype ('b, 'c) printer = {

info : 'a. ('a, 'b, 'c, unit) Stdlib.format4 -> 'a;
fail : 'a. ('a, 'b, 'c, unit) Stdlib.format4 -> 'a;
err : 'a. ('a, 'b, 'c, unit) Stdlib.format4 -> 'a;

}

Sourceval print_std : (Stdlib.out_channel, unit) printer

Source

val 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 = {

cli_verbose : bool;
cli_long_tests : bool;
cli_print_list : bool;
cli_rand : Stdlib.Random.State.t;
cli_slow_test : int;
cli_colors : bool;
cli_debug_shrink : Stdlib.out_channel option;
cli_debug_shrink_list : string list;

}

Sourceval parse_cli : full_options:bool -> string array -> cli_args

On This Page

Internal Utils