Stevan A

I'm happy catching this error locally in my teardown, and I've come around and agree with you that Jepsen shouldn't mask underlying problem. Feel free to close this issue.

@aphyr: Can you publish jepsen.txn "0.1.3-SNAPSHOT" again? The current version doesn't have https://github.com/jepsen-io/jepsen/commit/f590d4a63ee8dd53c4219caf590714a9e68f5693 , which is why compilation fails.

Thanks! > Building with lein check fails, with a Reflection warning and a syntax warning on the current master (531ea9a). > > The problem seems to be a missing variable...

One way to hide the history channel from the user, could be to have the user provide a function that triggers invocation events: ```haskell triggers :: action Concrete resp ->...

I still think this is an interesting topic, but I'm not working on this actively. If I would revisit it, then I would try to combine what I've learned from...

https://web.archive.org/web/20160405163934/people.brunel.ac.uk/~csstrmh/research/asynchronous_testing.html

Refinement of concurrent objects (via linearisability): www.cs.ox.ac.uk/people/hongseok.yang/paper/TCS10-concurrent-objects.pdf

On composing state machines a la Harel's state charts: https://gist.github.com/andymatuschak/d5f0a8730ad601bcccae97e8398e25b2 Also see: * Typescript's state chart implementation: https://github.com/davidkpiano/xstate * Python's state chart implementation: https://pypi.org/project/sismic/

Given that the threads run on the same machine, perhaps simply using a timestamp could suffice?

> My question: is there any reason for this lower bound on text? Not that I remember. > Would you be open to lowering the lower bound on Hackage to...