call the result key analyzer, checker is a different abstraction

jepsen-io · Nov 16, 2017 · 7120478 · 7120478
1 parent 6841cb2
commit 7120478
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/src/knossos/linear.clj b/src/knossos/linear.clj
@@ -311,4 +311,4 @@
   information."
   [model history]
   (assoc (search/run (start-analysis model history))
-         :analysis :linear))
+         :analyzer :linear))
diff --git a/src/knossos/linear/report.clj b/src/knossos/linear/report.clj
@@ -430,7 +430,7 @@ function dbar(id) {
                                                    history/ensure-indexed
                                                    history/complete
                                                    history/with-synthetic-infos)]
-                                   (if (= :wgl (:checker analysis))
+                                   (if (= :wgl (:analyzer analysis))
                                      (history/without-failures history)
                                      history))
         [history kindex->eindex] (history/kindex history)

diff --git a/src/knossos/wgl.clj b/src/knossos/wgl.clj
@@ -628,4 +628,4 @@
   information."
   [model history]
   (assoc (search/run (start-analysis model history))
-         :analysis :wgl))
+         :analyzer :wgl))