package base_quickcheck

val run : 
  f:('a -> Base.unit Base.Or_error.t) ->
  ?config:Config.t ->
  ?examples:'a Base.list ->
  (module S with type t = 'a) ->
  Base.unit Base.Or_error.t

Tests the property f, failing if it raises or returns Error _. Tests f first with any examples, then with values from the given generator. Only random values count toward the test_count total, not values from examples.

Source

val run_exn : 
  f:('a -> Base.unit) ->
  ?config:Config.t ->
  ?examples:'a Base.list ->
  (module S with type t = 'a) ->
  Base.unit

Like run, but raises on failure.

Source

val result : 
  f:('a -> (Base.unit, 'e) Base.Result.t) ->
  ?config:Config.t ->
  ?examples:'a Base.list ->
  (module S with type t = 'a) ->
  (Base.unit, 'a * 'e) Base.Result.t

Like run, but does not catch exceptions raised by f. Allows arbitrary error types and returns the input that failed along with the error.

Source

val with_sample : 
  f:('a Base.Sequence.t -> Base.unit Base.Or_error.t) ->
  ?config:Config.t ->
  ?examples:'a Base.list ->
  'a Generator.t ->
  Base.unit Base.Or_error.t

Calls f with the sequence of values that run would get in the same configuration.

Source

val with_sample_exn : 
  f:('a Base.Sequence.t -> Base.unit) ->
  ?config:Config.t ->
  ?examples:'a Base.list ->
  'a Generator.t ->
  Base.unit

Like with_sample, but raises on failure.

package base_quickcheck

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/base_quickcheck/Base_quickcheck/Test/index.html

Module Base_quickcheck.TestSource

dune-project
Dependency

Module `Base_quickcheck.Test`Source