Module QCheck_alcotest
Alcotest backend for QCheck
We use environment variables for controlling QCheck here, since alcotest doesn't seem to provide a lot of flexibility.
QCHECK_VERBOSEif "1" or "true", will make tests verboseQCHECK_SEEDif an integer, will fix the seedQCHECK_LONGis present, will trigger long tests
- since
- 0.9
val to_alcotest : ?verbose:bool -> ?long:bool -> ?rand:Stdlib.Random.State.t -> QCheck.Test.t -> unit Alcotest.test_caseConvert a qcheck test into an alcotest test
- parameter verbose
used to print information on stdout (default:
verbose())
- parameter rand
the random generator to use (default:
random_state ())
- since
- 0.9