Update checker interface.

aliher1911 · Feb 27, 2019 · 2da55aa · 2da55aa
1 parent 046fc9f
commit 2da55aa
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 8 deletions.
diff --git a/src/jepsen/faunadb/internal.clj b/src/jepsen/faunadb/internal.clj
@@ -193,7 +193,7 @@
   "Checks internal consistency of ops."
   []
   (reify checker/Checker
-    (check [this test model history opts]
+    (check [this test history opts]
       (let [errors (->> history
                         (r/filter op/ok?)
                         (r/mapcat op-errors)

diff --git a/src/jepsen/faunadb/monotonic.clj b/src/jepsen/faunadb/monotonic.clj
@@ -177,7 +177,7 @@
   independent/checker."
   []
   (reify checker/Checker
-    (check [_ test model history opts]
+    (check [_ test history opts]
       (let [history (r/filter (comp #{:read :inc} :f) history)
             ; Check that register values are monotonic
             value-errs (->> history
@@ -208,7 +208,7 @@
   and register values is globally monotonic."
   []
   (reify checker/Checker
-    (check [_ test model history opts]
+    (check [_ test history opts]
       (let [errs (->> history
                       (r/filter op/ok?)
                       (r/filter (comp #{:read-at :inc} :f))
@@ -292,7 +292,7 @@
   "Plots interesting bits of the value as seen by each process history."
   []
   (reify checker/Checker
-    (check [this test model history opts]
+    (check [this test history opts]
       ; Identify interesting regions
       (let [; Set aside nemesis operations so we can plot them later
             nemesis-history (r/filter (comp #{:nemesis} :process) history)
@@ -334,7 +334,7 @@
   not-found result. Let's make sure of that."
   []
   (reify checker/Checker
-    (check [_ test model history opts]
+    (check [_ test history opts]
       (let [errs (->> history
                       (r/filter op/fail?)
                       (r/filter (comp #{:not-found} :error))

diff --git a/src/jepsen/faunadb/multimonotonic.clj b/src/jepsen/faunadb/multimonotonic.clj
@@ -262,7 +262,7 @@
   the system was internally inconsistent."
   []
   (reify checker/Checker
-    (check [this test model history opts]
+    (check [this test history opts]
       (let [errs (->> history
                       (filter op/ok?)
                       (filter (comp :ts :value))
@@ -303,7 +303,7 @@
   like an OK start."
   []
   (reify checker/Checker
-    (check [this test model history opts]
+    (check [this test history opts]
       (try+ (let [order (->> history
                              (r/filter op/ok?)
                              (r/filter (comp #{:read} :f))

diff --git a/src/jepsen/faunadb/pages.clj b/src/jepsen/faunadb/pages.clj
@@ -95,7 +95,7 @@
   expressible as the union of some set of adds."
   []
   (reify checker/Checker
-    (check [this test model history opts]
+    (check [this test history opts]
       (let [adds    (filter #(= :add (:f %)) history)
             invokes (->> adds
                          (r/filter op/invoke?)