EE
======================================================================
ERROR: test_some_function (__main__.SomeTest)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "./hypothesis_showcase.py", line 22, in test_some_function
    def test_some_function(self, input_string):
  File "/usr/lib/python3/dist-packages/hypothesis/core.py", line 524, in wrapped_test
    print_example=True, is_final=True
  File "/usr/lib/python3/dist-packages/hypothesis/executors.py", line 58, in default_new_style_executor
    return function(data)
  File "/usr/lib/python3/dist-packages/hypothesis/core.py", line 111, in run
    return test(*args, **kwargs)
  File "./hypothesis_showcase.py", line 23, in test_some_function
    assert(some_function(input_string) == True)
  File "./hypothesis_showcase.py", line 12, in some_function
    raise RuntimeError('Bug with letter “c” in third position.')
RuntimeError: Bug with letter “c” in third position.

======================================================================
ERROR: test_some_other_function (__main__.SomeTest)
----------------------------------------------------------------------
Traceback (most recent call last):
  File "./hypothesis_showcase.py", line 26, in test_some_other_function
    def test_some_other_function(self, input_string):
  File "/usr/lib/python3/dist-packages/hypothesis/core.py", line 524, in wrapped_test
    print_example=True, is_final=True
  File "/usr/lib/python3/dist-packages/hypothesis/executors.py", line 58, in default_new_style_executor
    return function(data)
  File "/usr/lib/python3/dist-packages/hypothesis/core.py", line 111, in run
    return test(*args, **kwargs)
  File "./hypothesis_showcase.py", line 28, in test_some_other_function
    assert(some_other_function(input_string) == True)
  File "./hypothesis_showcase.py", line 16, in some_other_function
    if input_string[0] == 'a':
IndexError: string index out of range

----------------------------------------------------------------------
Ran 2 tests in 0.295s

FAILED (errors=2)
Falsifying example: test_some_function(self=<__main__.SomeTest testMethod=test_some_function>, input_string='c')
Falsifying example: test_some_other_function(self=<__main__.SomeTest testMethod=test_some_other_function>, input_string='')