package qcheck-alcotest

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Alcotest backend for QCheck

qcheck-alcotest
- QCheck_alcotest

Legend:
Library
Module
Module type
Parameter
Class
Class type

Alcotest backend for QCheck

We use environment variables for controlling QCheck here, since alcotest doesn't seem to provide a lot of flexibility.

QCHECK_VERBOSE if "1" or "true", will make tests verbose
QCHECK_SEED if an integer, will fix the seed
QCHECK_LONG is present, will trigger long tests

since 0.9

val to_alcotest : 
  ?colors:bool ->
  ?verbose:bool ->
  ?long:bool ->
  ?debug_shrink:out_channel option ->
  ?debug_shrink_list:string list ->
  ?rand:Random.State.t ->
  QCheck2.Test.t ->
  unit Alcotest.test_case

Convert a qcheck test into an alcotest test.

In addition to the environment variables mentioned above, you can control the behavior of QCheck tests using optional parameters that behave in the same way as the parameters of QCheck_base_runner.run_tests.

since 0.9

since 0.9 parameters [verbose], [long], [rand]

since 0.19 parameters [colors], [debug_shrink], [debug_shrink_list]