This section will describe the methods of QuickCheck
‣ QC_MakeRandomArgument( ObjectDescription, RandomSource, limit ) | ( function ) |
Create a random object as described by ObjectDescription of size at most limit using RandomSource. How limit is interpreted will vary depending on the type of object.
‣ QC_Check( arguments, function[, config] ) | ( function ) |
Run tests on function with arguments as described in arguments.
‣ QC_CheckEqual( arguments, functionL, functionR[, config] ) | ( function ) |
Check that, given the same list of arguments as described in arguments, functionL and function return the same value.
‣ QC_LastFailure( arg ) | ( function ) |
Return the function called, and arguments given, last time a QuickCheck test failed.
Returns a record containing args (the arguments) and a function func (if QC_Check failed) or a list of functions funcs (if QC_CheckEqual failed). Returns false if no test has failed.
‣ QC_RerunLastFailure( arg ) | ( function ) |
Rerun the last test which failed. This is most useful if a test in a '.tst' file failed, as this will allow the test to enter the break loop.
‣ QC_SetConfig( config ) | ( function ) |
Set config options for QuickCheck globally, by passing a record. It is not required to set all options.
Current options are:
tests: Number of tests to run
limit: The size of the largest object to create
seed: Initial random seed
‣ QC_GetConfig( arg ) | ( function ) |
Get the current global configuration for QuickCheck, as a record
generated by GAPDoc2HTML