Hi, Will (and Ian)
On Tue, 5 Mar 2019 at 23:11, Will Yager
http://hackage.haskell.org/package/dejafu might do what you want
From a quick look at the documentation... am I right in thinking that
Thanks for the suggestion, that does look useful. this test framework only covers concurrency when you're directly using IOVars and STM? Any concurrency that might involve other primitives, or IOVar/STM uses in libraries, wouldn't be testable? Unless the primitives/library had also been written to use the dejafu io classes and monads of course... which might be a good idea in and of itself. Definitely looks good for helping ensure correctness at my protocol implementation layer, and I can conceive of building a protocol model testable by it, so thanks for the link. Need to think more about the relative merits of that approach vs Spin vs FRP. Thanks.