Stateful testing: steps not printed on pytest.fail()

[Zac-HD]

Via a longer case posted on stackoverflow, I found out that BaseException - or subclasses like pytest.Failed - skips the printing of the steps taken to produce the error.

from hypothesis.stateful import RuleBasedStateMachine, rule

class RaisesProblem(RuleBasedStateMachine):

    @rule()
    def oops(self):
        raise BaseException('The steps should be printed too!')

Test = RaisesProblem.TestCase

Suggested resolution: there is probably somewhere which catches Exception but should catch BaseException (perhaps re-raising HypothesisBaseException). Finding and fixing that might be enough, along with a regression test of course!