Print explicit examples in verbose mode

Closes HypothesisWorks#313

docs/changes.rst

@@ -21,6 +21,13 @@ Hypothesis APIs come in three flavours:
 You should generally assume that an API is internal unless you have specific
 information to the contrary.
 
+-------------------
+3.11.4 - 2017-06-17
+-------------------
+
+This is a bugfix release: Hypothesis now prints explicit examples when
+running in verbose mode.  (:issue:`313`)
+
 -------------------
 3.11.3 - 2017-06-11
 -------------------

src/hypothesis/core.py

@@ -226,18 +226,20 @@ def execute_explicit_examples(
         # Note: Test may mutate arguments and we can't rerun explicit
         # examples, so we have to calculate the failure message at this
         # point rather than than later.
-        message_on_failure = 'Falsifying example: %s(%s)' % (
+        example_string = '%s(%s)' % (
             test.__name__, arg_string(test, arguments, example_kwargs)
         )
         try:
             with BuildContext(None) as b:
+                if current_verbosity() >= Verbosity.verbose:
+                    report(lambda: 'Trying example: %s' % example_string)
                 test_runner(
                     None,
                     lambda data: test(*arguments, **example_kwargs)
                 )
         except BaseException:
             traceback.print_exc()
-            report(message_on_failure)
+            report('Falsifying example: %s' % example_string)
             for n in b.notes:
                 report(n)
             raise

src/hypothesis/version.py

@@ -17,5 +17,5 @@
 
 from __future__ import division, print_function, absolute_import
 
-__version_info__ = (3, 11, 3)
+__version_info__ = (3, 11, 4)
 __version__ = '.'.join(map(str, __version_info__))