Nicolas Osborne

It may be an idea to talk about it [here](https://github.com/ocaml-gospel/ortac/blob/0753c72567b83f50ff1d66342c12aafe7dd881b5/plugins/qcheck-stm/doc/index.mld#L166) too, no?

Thanks for pointing that out! That's very true! This would be part of the first step. I believe that moving from a stack of `SUT`s to a list of `SUT`s...

I've started working on it a bit. It is indeed not that easy :-)

Closed by #353 (with example in #355) There is still the limitation that testing SUT-returning functions is weaker than with the sequential mode. I've created #356 to follow this particular...