diff --git a/hypothesis_trio/_tests/test_async_stateful.py b/hypothesis_trio/_tests/test_async_stateful.py
index 805b29d..5c20699 100644
--- a/hypothesis_trio/_tests/test_async_stateful.py
+++ b/hypothesis_trio/_tests/test_async_stateful.py
@@ -4,9 +4,10 @@
 from trio.testing import MockClock
 
 import hypothesis
+from hypothesis import Verbosity
 from hypothesis_trio.stateful import TrioRuleBasedStateMachine
 from hypothesis.stateful import Bundle, initialize, rule, invariant, run_state_machine_as_test
-from hypothesis.strategies import just, integers, lists, tuples
+from hypothesis.strategies import integers, lists, tuples
 
 
 def test_rule_based():
@@ -173,7 +174,7 @@ async def do_work(self, value):
 
     # Check failure
 
-    settings = hypothesis.settings(max_examples=10)
+    settings = hypothesis.settings(max_examples=10, verbosity=Verbosity.debug)
     with pytest.raises(AssertionError) as record:
         run_state_machine_as_test(TrioStyleStateMachine, settings=settings)
     captured = capsys.readouterr()
@@ -201,4 +202,4 @@ async def steps():
     await state.do_work(value=v1)
     await state.teardown()
 state.trio_run(steps)
-""" in captured.out
+""" == captured.out