Hi @czan,

I'm experimenting with an Emacs Mode for stateful-check.

Right now I have the following features planned:

• Enhance the clojure.test machinery to report more information about stateful-check test runs, so NREPL middleware can reach it
• Render the failed/shrunk executions in a buffer similar to what we have now. But ...
• Render command arguments and results via the Cider inspect value machinery (larger data structures are truncated)
• Functionality to open command arguments and results in the Cider inspector
• Functionality to open the state/model of each execution step
• Some kind of debugger/execution stepper, that allows to live step one execution after the other and inspect the state.

It's all work in progress, but this is where I am right now:

https://github.com/r0man/stateful-check/tree/nrepl
https://github.com/r0man/cider/tree/stateful-check
https://github.com/r0man/cider-nrepl/tree/stateful-check

Since you also seem to use know a bit about Emacs and NREPL middleware (I just discovered wingman), do you have any other ideas?

Roman