Chris Keathley

@emwardell This pull request will have to be merged or you can specify my fork with the commit sha in your bower.json file for the time being (that's what I'm...

@dave-elkan Since there are 3 open pull requests for the same issue I'm not sure if there's a plan to pull any of them in. In the meantime you can...

## Preconditions vs State. Pre-conditions are needed because during shrinking commands will be removed from the list of commands that caused a failure. Removing these commands means that we may...

I want to address some of the concerns / points about repetition in the model code. In my experience models involve a non-trivial amount of code. As a reference point...

Since its been a bit I thought I would provide an update from my side. Currently we're just using proper for all of our stateful testing. Its working well for...

I wanted to see if there was any progress that had been made on this issue and if I might be able to help contribute in any way. This is...

We've seen the port die if it can't communicate with the agent in a variety of ways: agent restarts, netsplits, etc.

@dnlserrano I've incorporated this PR into my fork here: https://github.com/keathley/statix. I'm planning on maintaining that fork going forward.

Just wanted to add some clarity around the raft use case. Here's a single use case that I think will help me explain my pov. Let's say we a cluster...

I definitely think this is an issue. It's partially a documentation problem and some examples of real-world usage would go a long way. I've been considering a more convenient API...