debug

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.normal)
     with pytest.raises(AssertionError) as record:
         run_state_machine_as_test(TrioStyleStateMachine, settings=settings)
     captured = capsys.readouterr()