package qcheck-core

You can search for identifiers within the package.

in-package search v0.2.0

qcheck-core
- QCheck
  - Fn
  - Gen
  - Iter
  - Observable
  - Print
  - Shrink
  - Test
  - TestResult
  - Tuple
    
    Infix
- QCheck2
  - Fn
  - Gen
  - Observable
  - Print
  - Shrink
    
    Number
  - Test
  - TestResult
  - Test_exceptions
  - Tree
  - Tuple
    
    Infix
qcheck-core.runner
- QCheck_base_runner
  - Color
  - Raw

Legend:
Library
Module
Module type
Parameter
Class
Class type

exception Test_fail of string * string list

Exception raised when a test failed, with the list of counter-examples. Test_fail (name, l) means test name failed on elements of l.

exception Test_error of string * string * exn * string

Exception raised when a test raised an exception e, with the sample that triggered the exception. Test_error (name, i, e, st) means name failed on i with exception e, and st is the stacktrace (if enabled) or an empty string.