Short circuit on failed assertion

[caioaao]

I would expect a failed assertion (i.e.: failed verify or match?) would short circuit a flow. This is not the case and as of now we don't have an easy way of asserting that it happened when running a flow.

[caioaao]

A way to check for failed runs that I think is interesting is used in kaocha through clojure test's report counters: https://github.com/lambdaisland/kaocha/blob/master/src/kaocha/type.clj
it's not really clean, but might be a good way of decoupling the state-flow framework from the assertions.

[philomates]

One thing to keep in mind:
I believe the way that kaocha uses clojure.test counters, as well as selvage, which copied kaocha, is that it has issues with test runners that run tests in parallel. I think this is why bat-test doesn't play well with selvage's defflow.
I want to try to fix selvage to run tests in parallel at some point so I'll try to do it in a way that can be used here as well

[sovelten]

I don't see a strong reason to short circuit. I actually see reasons for not short circuiting. Supposing you do an action that has several consequences, than you make several assertions for each of the consequences. These assertions are independent and it is meaningful to know which of them passed or failed. If the flow didn't fail catastrophically (with an exception) it probably should continue. The spice must flow.

But I'm all open for having this behavior configurable. And also decoupling state-flow from test assertions

[caioaao]

I agree with the multiple assertion, but not steps. If an assertion fails between two steps, the step didn't work as expected and imo it doesn't make sense to keep running the next steps (assuming a flow is exactly for actions that depend on the effect of previous actions)

[dchelimsky]

If an assertion fails between two steps, the step didn't work as expected and imo it doesn't make sense to keep running the next steps

To the runner, flows, steps, assertions, etc, are all the same thing, so there is no way to differentiate between a step and an assertion. Also, since you can arbitrarily nest flows inside assertions inside flows, there is really no way to identify when "an assertion fails between two steps"

I think the simplest thing is to either short circuit on error or not (configurable - default TBD), and runtime exceptions should be treated the same as failed assertions.

[philomates]

Hey, so the run* function was extended to take a fail-fast? option to achieve this. This has been released in 5.6.0 via #138