On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package 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
val to_alcotest :
?verbose:bool ->
?long:bool ->
?rand:Random.State.t ->
QCheck.Test.t ->
unit Alcotest.test_caseConvert a qcheck test into an alcotest test
On This Page