package qcheck

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Shrink Values

qcheck
- QCheck
  - Fn
  - Gen
  - Iter
  - Observable
  - Print
  - Shrink
  - Test
  - TestResult
  - Tuple
    
    Infix
- QCheck_runner

Legend:
Library
Module
Module type
Parameter
Class
Class type

Shrink Values

Shrinking is used to reduce the size of a counter-example. It tries to make the counter-example smaller by decreasing it, or removing elements, until the property to test holds again; then it returns the smallest value that still made the test fail.

type 'a t = 'a -> 'a Iter.t

Given a counter-example, return an iterator on smaller versions of the counter-example.

val nil : 'a t

No shrink

val unit : unit t

since 0.6

val char : char t

since 0.6

since 0.6

val int : int t

since 0.6

val option : 'a t -> 'a option t

val string : string t

val int_aggressive : int t

Shrink integers by trying all smaller integers (can take a lot of time!)

since 0.7

val list : ?shrink:'a t -> 'a list t

Try to shrink lists by removing elements one by one.

parameter shrink
if provided, will be used to also try to reduce the elements of the list themselves (e.g. in an int list one can try to decrease the integers).

val array : ?shrink:'a t -> 'a array t

Shrink an array.

parameter shrink
see list

val pair : 'a t -> 'b t -> ('a * 'b) t

pair a b uses a to shrink the first element of tuples, then tries to shrink the second element using b. It is often better, when generating tuples, to put the "simplest" element first (atomic type rather than list, etc.) because it will be shrunk earlier. In particular, putting functions last might help.

val triple : 'a t -> 'b t -> 'c t -> ('a * 'b * 'c) t

Similar to pair

val quad : 'a t -> 'b t -> 'c t -> 'd t -> ('a * 'b * 'c * 'd) t

Similar to pair