Kyle Kingsbury

Huh! Yeah, presumably the history is malformed in some way, and you're right, that error message isn't helpful.

Oh, I think I know what's up. You're asking for a register but not providing an initial value, so it defaults to `nil`. Then the first read is `0`. I...

You don't even need to do that! Take a look at the docs for (register)... It should take an initial value as an argument. :)

> 1. "sleep interrupted" exceptions. This might be a bug in Jepsen's generator system, which I've been working on rewriting. Or it could be that something else happened in the...

I don't think I can patch it at the Jepsen level, cuz it's happening at compile time, but the project.clj fix is a one-liner, at least on every env I've...

No, that's not it; compilation happens when you call `lein run`, so this JVM setting should take effect then. It's possible you're having some kind of *different* issue--one that I...

This is documented behavior: > This checker validates that at each read, the value is at greater than the sum of all :ok increments, and lower than the sum of...

Yeah, we don't try to track every possible state--I think that miiiight be NP-hard? It feels like a potential knapsack problem, but there might be degeneracy we could exploit, or...

Yeah, clojure logging has always been confusing for me. I think I might have fixed it once in a different project but forget how, haha.

Sorry, I haven't looked at --dev mode myself--I did do a pass on running without --dev and got that working a few months ago, though!