1# This file is part of Hypothesis, which may be found at
2# https://github.com/HypothesisWorks/hypothesis/
3#
4# Copyright the Hypothesis Authors.
5# Individual contributors are listed in AUTHORS.rst and the git log.
6#
7# This Source Code Form is subject to the terms of the Mozilla Public License,
8# v. 2.0. If a copy of the MPL was not distributed with this file, You can
9# obtain one at https://mozilla.org/MPL/2.0/.
10
11"""Hypothesis is a library for writing unit tests which are parametrized by
12some source of data.
13
14It verifies your code against a wide range of input and minimizes any
15failing examples it finds.
16"""
17
18import _hypothesis_globals
19
20from hypothesis._settings import HealthCheck, Phase, Verbosity, settings
21from hypothesis.control import (
22 assume,
23 currently_in_test_context,
24 event,
25 note,
26 reject,
27 target,
28)
29from hypothesis.core import example, find, given, reproduce_failure, seed
30from hypothesis.entry_points import run
31from hypothesis.internal.entropy import register_random
32from hypothesis.utils.conventions import infer
33from hypothesis.version import __version__, __version_info__
34
35__all__ = [
36 "HealthCheck",
37 "Phase",
38 "Verbosity",
39 "assume",
40 "currently_in_test_context",
41 "event",
42 "example",
43 "find",
44 "given",
45 "infer",
46 "note",
47 "register_random",
48 "reject",
49 "reproduce_failure",
50 "seed",
51 "settings",
52 "target",
53 "__version__",
54 "__version_info__",
55]
56
57run()
58del run
59
60_hypothesis_globals.in_initialization -= 1
61del _hypothesis_globals