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.detection import is_hypothesis_test
32from hypothesis.internal.entropy import register_random
33from hypothesis.utils.conventions import infer
34from hypothesis.version import __version__, __version_info__
35
36__all__ = [
37 "HealthCheck",
38 "Phase",
39 "Verbosity",
40 "__version__",
41 "__version_info__",
42 "assume",
43 "currently_in_test_context",
44 "event",
45 "example",
46 "find",
47 "given",
48 "infer",
49 "is_hypothesis_test",
50 "note",
51 "register_random",
52 "reject",
53 "reproduce_failure",
54 "seed",
55 "settings",
56 "target",
57]
58
59run()
60del run
61
62_hypothesis_globals.in_initialization -= 1
63del _hypothesis_globals