prompt: We are currently solving the following issue within our repository. Here is the issue text:
  --- BEGIN ISSUE ---
  Verbose output not shown unless -s is specified
  I am running a test suite with hypothesis using py.test, when setting HYPOTHESIS_VERBOSITY_LEVEL=verbose environment variable I expected to see the intermediate results. However I need to specify -s when invokin py.test otherwise the intermediate results are suppressed.
  
  Python 3.6.0a1
  py.test 2.9.2
  hypothesis 3.4.2
  
  
  --- END ISSUE ---
  
  Below are some code segments, each from a relevant file. One or more of these files may contain bugs.
  --- BEGIN FILES ---
  Path: `docs/conf.py`
  Content:
  ```
  1 # coding=utf-8
  2 #
  3 # This file is part of Hypothesis, which may be found at
  4 # https://github.com/HypothesisWorks/hypothesis-python
  5 #
  6 # Most of this work is copyright (C) 2013-2017 David R. MacIver
  7 # (david@drmaciver.com), but it contains contributions by others. See
  8 # CONTRIBUTING.rst for a full list of people who may hold copyright, and
  9 # consult the git log if you need to determine who owns an individual
  10 # contribution.
  11 #
  12 # This Source Code Form is subject to the terms of the Mozilla Public License,
  13 # v. 2.0. If a copy of the MPL was not distributed with this file, You can
  14 # obtain one at http://mozilla.org/MPL/2.0/.
  15 #
  16 # END HEADER
  17 
  18 # -*- coding: utf-8 -*-
  19 
  20 from __future__ import division, print_function, absolute_import
  21 
  22 # on_rtd is whether we are on readthedocs.org
  23 import os
  24 import sys
  25 import datetime
  26 
  27 from hypothesis import __version__
  28 
  29 on_rtd = os.environ.get('READTHEDOCS', None) == 'True'
  30 
  31 sys.path.append(
  32     os.path.join(os.path.dirname(__file__), '..', 'src')
  33 )
  34 
  35 
  36 autodoc_member_order = 'bysource'
  37 
  38 extensions = [
  39     'sphinx.ext.autodoc',
  40     'sphinx.ext.doctest',
  41     'sphinx.ext.extlinks',
  42     'sphinx.ext.viewcode',
  43     'sphinx.ext.intersphinx',
  44 ]
  45 
  46 templates_path = ['_templates']
  47 
  48 source_suffix = '.rst'
  49 
  50 # The master toctree document.
  51 master_doc = 'index'
  52 
  53 # General information about the project.
  54 project = u'Hypothesis'
  55 copyright = u'2013-%s, David R. MacIver' % datetime.datetime.utcnow().year
  56 author = u'David R. MacIver'
  57 
  58 version = __version__
  59 release = __version__
  60 
  61 language = None
  62 
  63 exclude_patterns = ['_build']
  64 
  65 pygments_style = 'sphinx'
  66 
  67 todo_include_todos = False
  68 
  69 intersphinx_mapping = {
  70     'python': ('https://docs.python.org/3/', None),
  71     'numpy': ('https://docs.scipy.org/doc/numpy/', None),
  72     'pandas': ('https://pandas.pydata.org/pandas-docs/stable/', None)
  73 }
  74 
  75 autodoc_mock_imports = ['numpy', 'pandas']
  76 
  77 doctest_global_setup = '''
  78 # Some standard imports
  79 from hypothesis import *
  80 from hypothesis.strategies import *
  81 # Ensure that output (including from strategies) is deterministic
  82 import random
  83 random.seed(0)
  84 # don't save examples
  85 settings.register_profile('doctests', settings(database=None))
  86 settings.load_profile('doctests')
  87 import warnings
  88 warnings.filterwarnings('error', category=HypothesisDeprecationWarning)
  89 '''
  90 
  91 # This config value must be a dictionary of external sites, mapping unique
  92 # short alias names to a base URL and a prefix.
  93 # See http://sphinx-doc.org/ext/extlinks.html
  94 extlinks = {
  95     'commit': ('https://github.com/HypothesisWorks/hypothesis-python/commit/%s', 'commit '),
  96     'gh-file': ('https://github.com/HypothesisWorks/hypothesis-python/blob/master/%s', ''),
  97     'gh-link': ('https://github.com/HypothesisWorks/hypothesis-python/%s', ''),
  98     'issue': ('https://github.com/HypothesisWorks/hypothesis-python/issues/%s', 'issue #'),
  99     'pull': ('https://github.com/HypothesisWorks/hypothesis-python/pulls/%s', 'pull request #'),
  100 }
  101 
  102 # -- Options for HTML output ----------------------------------------------
  103 
  104 if not on_rtd:  # only import and set the theme if we're building docs locally
  105     import sphinx_rtd_theme
  106     html_theme = 'sphinx_rtd_theme'
  107     html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
  108 
  109 html_static_path = ['_static']
  110 
  111 htmlhelp_basename = 'Hypothesisdoc'
  112 
  113 # -- Options for LaTeX output ---------------------------------------------
  114 
  115 latex_elements = {
  116 }
  117 
  118 latex_documents = [
  119     (master_doc, 'Hypothesis.tex', u'Hypothesis Documentation',
  120      u'David R. MacIver', 'manual'),
  121 ]
  122 
  123 man_pages = [
  124     (master_doc, 'hypothesis', u'Hypothesis Documentation',
  125      [author], 1)
  126 ]
  127 
  128 texinfo_documents = [
  129     (master_doc, 'Hypothesis', u'Hypothesis Documentation',
  130      author, 'Hypothesis', 'One line description of project.',
  131      'Miscellaneous'),
  132 ]
  133
  ```
  --- END FILES ---
  
  Please first localize the bug based on the issue statement, and then generate a patch according to the `git diff` format fenced by three backticks.
  
  Here is an example:
  
  ```diff
  diff --git a/examples/server_async.py b/examples/server_async.py
  --- a/examples/server_async.py
  +++ b/examples/server_async.py
  @@ -313,4 +313,4 @@
   
   
   if __name__ == "__main__":
  -    asyncio.run(run_async_server("."), debug=True)
  +    asyncio.run(run_async_server(), debug=True)
  diff --git a/examples/server_sync.py b/examples/server_sync.py
  --- a/examples/server_sync.py
  +++ b/examples/server_sync.py
  @@ -313,5 +313,5 @@
   
   
   if __name__ == "__main__":
  -    server = run_sync_server(".")
  +    server = run_sync_server()
       server.shutdown()
  
  ```
  
golden_diff: diff --git a/docs/conf.py b/docs/conf.py
  --- a/docs/conf.py
  +++ b/docs/conf.py
  @@ -69,7 +69,8 @@
   intersphinx_mapping = {
       'python': ('https://docs.python.org/3/', None),
       'numpy': ('https://docs.scipy.org/doc/numpy/', None),
  -    'pandas': ('https://pandas.pydata.org/pandas-docs/stable/', None)
  +    'pandas': ('https://pandas.pydata.org/pandas-docs/stable/', None),
  +    'pytest': ('https://docs.pytest.org/en/stable/', None),
   }
   
   autodoc_mock_imports = ['numpy', 'pandas']
  @@ -127,6 +128,6 @@
   
   texinfo_documents = [
       (master_doc, 'Hypothesis', u'Hypothesis Documentation',
  -     author, 'Hypothesis', 'One line description of project.',
  +     author, 'Hypothesis', 'Advanced property-based testing for Python.',
        'Miscellaneous'),
   ]
  
verification_info: {"golden_diff": "diff --git a/docs/conf.py b/docs/conf.py\n--- a/docs/conf.py\n+++ b/docs/conf.py\n@@ -69,7 +69,8 @@\n intersphinx_mapping = {\n     'python': ('https://docs.python.org/3/', None),\n     'numpy': ('https://docs.scipy.org/doc/numpy/', None),\n-    'pandas': ('https://pandas.pydata.org/pandas-docs/stable/', None)\n+    'pandas': ('https://pandas.pydata.org/pandas-docs/stable/', None),\n+    'pytest': ('https://docs.pytest.org/en/stable/', None),\n }\n \n autodoc_mock_imports = ['numpy', 'pandas']\n@@ -127,6 +128,6 @@\n \n texinfo_documents = [\n     (master_doc, 'Hypothesis', u'Hypothesis Documentation',\n-     author, 'Hypothesis', 'One line description of project.',\n+     author, 'Hypothesis', 'Advanced property-based testing for Python.',\n      'Miscellaneous'),\n ]\n", "issue": "Verbose output not shown unless -s is specified\nI am running a test suite with hypothesis using py.test, when setting HYPOTHESIS_VERBOSITY_LEVEL=verbose environment variable I expected to see the intermediate results. However I need to specify -s when invokin py.test otherwise the intermediate results are suppressed.\n\nPython 3.6.0a1\npy.test 2.9.2\nhypothesis 3.4.2\n\n", "before_files": [{"content": "# coding=utf-8\n#\n# This file is part of Hypothesis, which may be found at\n# https://github.com/HypothesisWorks/hypothesis-python\n#\n# Most of this work is copyright (C) 2013-2017 David R. MacIver\n# (david@drmaciver.com), but it contains contributions by others. See\n# CONTRIBUTING.rst for a full list of people who may hold copyright, and\n# consult the git log if you need to determine who owns an individual\n# contribution.\n#\n# This Source Code Form is subject to the terms of the Mozilla Public License,\n# v. 2.0. If a copy of the MPL was not distributed with this file, You can\n# obtain one at http://mozilla.org/MPL/2.0/.\n#\n# END HEADER\n\n# -*- coding: utf-8 -*-\n\nfrom __future__ import division, print_function, absolute_import\n\n# on_rtd is whether we are on readthedocs.org\nimport os\nimport sys\nimport datetime\n\nfrom hypothesis import __version__\n\non_rtd = os.environ.get('READTHEDOCS', None) == 'True'\n\nsys.path.append(\n    os.path.join(os.path.dirname(__file__), '..', 'src')\n)\n\n\nautodoc_member_order = 'bysource'\n\nextensions = [\n    'sphinx.ext.autodoc',\n    'sphinx.ext.doctest',\n    'sphinx.ext.extlinks',\n    'sphinx.ext.viewcode',\n    'sphinx.ext.intersphinx',\n]\n\ntemplates_path = ['_templates']\n\nsource_suffix = '.rst'\n\n# The master toctree document.\nmaster_doc = 'index'\n\n# General information about the project.\nproject = u'Hypothesis'\ncopyright = u'2013-%s, David R. MacIver' % datetime.datetime.utcnow().year\nauthor = u'David R. MacIver'\n\nversion = __version__\nrelease = __version__\n\nlanguage = None\n\nexclude_patterns = ['_build']\n\npygments_style = 'sphinx'\n\ntodo_include_todos = False\n\nintersphinx_mapping = {\n    'python': ('https://docs.python.org/3/', None),\n    'numpy': ('https://docs.scipy.org/doc/numpy/', None),\n    'pandas': ('https://pandas.pydata.org/pandas-docs/stable/', None)\n}\n\nautodoc_mock_imports = ['numpy', 'pandas']\n\ndoctest_global_setup = '''\n# Some standard imports\nfrom hypothesis import *\nfrom hypothesis.strategies import *\n# Ensure that output (including from strategies) is deterministic\nimport random\nrandom.seed(0)\n# don't save examples\nsettings.register_profile('doctests', settings(database=None))\nsettings.load_profile('doctests')\nimport warnings\nwarnings.filterwarnings('error', category=HypothesisDeprecationWarning)\n'''\n\n# This config value must be a dictionary of external sites, mapping unique\n# short alias names to a base URL and a prefix.\n# See http://sphinx-doc.org/ext/extlinks.html\nextlinks = {\n    'commit': ('https://github.com/HypothesisWorks/hypothesis-python/commit/%s', 'commit '),\n    'gh-file': ('https://github.com/HypothesisWorks/hypothesis-python/blob/master/%s', ''),\n    'gh-link': ('https://github.com/HypothesisWorks/hypothesis-python/%s', ''),\n    'issue': ('https://github.com/HypothesisWorks/hypothesis-python/issues/%s', 'issue #'),\n    'pull': ('https://github.com/HypothesisWorks/hypothesis-python/pulls/%s', 'pull request #'),\n}\n\n# -- Options for HTML output ----------------------------------------------\n\nif not on_rtd:  # only import and set the theme if we're building docs locally\n    import sphinx_rtd_theme\n    html_theme = 'sphinx_rtd_theme'\n    html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]\n\nhtml_static_path = ['_static']\n\nhtmlhelp_basename = 'Hypothesisdoc'\n\n# -- Options for LaTeX output ---------------------------------------------\n\nlatex_elements = {\n}\n\nlatex_documents = [\n    (master_doc, 'Hypothesis.tex', u'Hypothesis Documentation',\n     u'David R. MacIver', 'manual'),\n]\n\nman_pages = [\n    (master_doc, 'hypothesis', u'Hypothesis Documentation',\n     [author], 1)\n]\n\ntexinfo_documents = [\n    (master_doc, 'Hypothesis', u'Hypothesis Documentation',\n     author, 'Hypothesis', 'One line description of project.',\n     'Miscellaneous'),\n]\n", "path": "docs/conf.py"}], "after_files": [{"content": "# coding=utf-8\n#\n# This file is part of Hypothesis, which may be found at\n# https://github.com/HypothesisWorks/hypothesis-python\n#\n# Most of this work is copyright (C) 2013-2017 David R. MacIver\n# (david@drmaciver.com), but it contains contributions by others. See\n# CONTRIBUTING.rst for a full list of people who may hold copyright, and\n# consult the git log if you need to determine who owns an individual\n# contribution.\n#\n# This Source Code Form is subject to the terms of the Mozilla Public License,\n# v. 2.0. If a copy of the MPL was not distributed with this file, You can\n# obtain one at http://mozilla.org/MPL/2.0/.\n#\n# END HEADER\n\n# -*- coding: utf-8 -*-\n\nfrom __future__ import division, print_function, absolute_import\n\n# on_rtd is whether we are on readthedocs.org\nimport os\nimport sys\nimport datetime\n\nfrom hypothesis import __version__\n\non_rtd = os.environ.get('READTHEDOCS', None) == 'True'\n\nsys.path.append(\n    os.path.join(os.path.dirname(__file__), '..', 'src')\n)\n\n\nautodoc_member_order = 'bysource'\n\nextensions = [\n    'sphinx.ext.autodoc',\n    'sphinx.ext.doctest',\n    'sphinx.ext.extlinks',\n    'sphinx.ext.viewcode',\n    'sphinx.ext.intersphinx',\n]\n\ntemplates_path = ['_templates']\n\nsource_suffix = '.rst'\n\n# The master toctree document.\nmaster_doc = 'index'\n\n# General information about the project.\nproject = u'Hypothesis'\ncopyright = u'2013-%s, David R. MacIver' % datetime.datetime.utcnow().year\nauthor = u'David R. MacIver'\n\nversion = __version__\nrelease = __version__\n\nlanguage = None\n\nexclude_patterns = ['_build']\n\npygments_style = 'sphinx'\n\ntodo_include_todos = False\n\nintersphinx_mapping = {\n    'python': ('https://docs.python.org/3/', None),\n    'numpy': ('https://docs.scipy.org/doc/numpy/', None),\n    'pandas': ('https://pandas.pydata.org/pandas-docs/stable/', None),\n    'pytest': ('https://docs.pytest.org/en/stable/', None),\n}\n\nautodoc_mock_imports = ['numpy', 'pandas']\n\ndoctest_global_setup = '''\n# Some standard imports\nfrom hypothesis import *\nfrom hypothesis.strategies import *\n# Ensure that output (including from strategies) is deterministic\nimport random\nrandom.seed(0)\n# don't save examples\nsettings.register_profile('doctests', settings(database=None))\nsettings.load_profile('doctests')\nimport warnings\nwarnings.filterwarnings('error', category=HypothesisDeprecationWarning)\n'''\n\n# This config value must be a dictionary of external sites, mapping unique\n# short alias names to a base URL and a prefix.\n# See http://sphinx-doc.org/ext/extlinks.html\nextlinks = {\n    'commit': ('https://github.com/HypothesisWorks/hypothesis-python/commit/%s', 'commit '),\n    'gh-file': ('https://github.com/HypothesisWorks/hypothesis-python/blob/master/%s', ''),\n    'gh-link': ('https://github.com/HypothesisWorks/hypothesis-python/%s', ''),\n    'issue': ('https://github.com/HypothesisWorks/hypothesis-python/issues/%s', 'issue #'),\n    'pull': ('https://github.com/HypothesisWorks/hypothesis-python/pulls/%s', 'pull request #'),\n}\n\n# -- Options for HTML output ----------------------------------------------\n\nif not on_rtd:  # only import and set the theme if we're building docs locally\n    import sphinx_rtd_theme\n    html_theme = 'sphinx_rtd_theme'\n    html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]\n\nhtml_static_path = ['_static']\n\nhtmlhelp_basename = 'Hypothesisdoc'\n\n# -- Options for LaTeX output ---------------------------------------------\n\nlatex_elements = {\n}\n\nlatex_documents = [\n    (master_doc, 'Hypothesis.tex', u'Hypothesis Documentation',\n     u'David R. MacIver', 'manual'),\n]\n\nman_pages = [\n    (master_doc, 'hypothesis', u'Hypothesis Documentation',\n     [author], 1)\n]\n\ntexinfo_documents = [\n    (master_doc, 'Hypothesis', u'Hypothesis Documentation',\n     author, 'Hypothesis', 'Advanced property-based testing for Python.',\n     'Miscellaneous'),\n]\n", "path": "docs/conf.py"}]}