search

jepsen-io / jepsen

A framework for distributed systems verification, with fault injection
6.78k stars 714 forks source link

Need an "import" in 04-checker.md #520

Closed ajdavis closed 2 years ago

ajdavis commented 2 years ago

I'm using Clojure for the first time in order to work through the tutorial. Following instructions in the "Checking Correctness" section, I got:

Syntax error compiling deftype* at (jepsen/foo.clj:92:1).
Unable to resolve symbol: Model in this context

I think we need (:import (knossos.model Model)) or something like that.

aphyr commented 2 years ago

That seems reasonable! Want to shoot over a PR?