Hi folks. I'm gearing up for the biggest API change in Jepsen in ~5 years: I'm replacing the generator system. If you'd like to start trying out the new API (and offer comments!), see github.com/jepsen-io/jepsen/bl.


I'm not totally sold on this API yet, but I've been working on this design for over a year, and it's finally runnable: you can write tests with pure generators, and Jepsen will run them like you'd expect. We'll probably have a compatibility/deprecation release, followed by breaking changes in 0.2.0.

Key advantages:
- No more random deadlocks
- Time limits that actually work right
- Generators can react to ok/fail/info events
- Sequences are intrinsically generators
- Better composition rules

Sign in to participate in the conversation

A single-user Mastodon instance for Jepsen announcements & discussion.