Bump Elle and Jepsen

Update Jepsen [1] and Elle [2] libraries to the latest versions.
History paper-example.{edn,json} has been updated and field `:process`
been added, see [3].

1. https://github.com/jepsen-io/jepsen/releases/tag/v0.3.0
2. https://github.com/jepsen-io/elle/releases/tag/v0.1.6
3. jepsen-io/elle#20

CHANGELOG.md

@@ -14,6 +14,8 @@ change log follows the conventions of
 
 ### Changed
 
+- Bump Elle version to 0.1.6.
+- Bump Jepsen version to 0.3.0.
 
 ## [0.1.5] - 2022-12-06
 

histories/elle/paper-example.edn

@@ -1,8 +1,8 @@
-{:index 0 :type :invoke  :value [[:append 253 1] [:append 253 3] [:append 253 4] [:append 255 2] [:append 255 3] [:append 255 4] [:append 255 5] [:append 256 1] [:append 256 2]]}
-{:index 1 :type :ok      :value [[:append 253 1] [:append 253 3] [:append 253 4] [:append 255 2] [:append 255 3] [:append 255 4] [:append 255 5] [:append 256 1] [:append 256 2]]}
-{:index 2 :type :invoke, :value [[:append 255 8] [:r 253 nil]]}
-{:index 3 :type :ok,     :value [[:append 255 8] [:r 253 [1 3 4]]]}
-{:index 4 :type :invoke, :value [[:append 256 4] [:r 255 nil] [:r 256 nil] [:r 253 nil]]}
-{:index 5 :type :ok,     :value [[:append 256 4] [:r 255 [2 3 4 5 8]] [:r 256 [1 2 4]] [:r 253 [1 3 4]]]}
-{:index 6 :type :invoke, :value [[:append 250 10] [:r 253 nil] [:r 255 nil] [:append 256 3]]}
-{:index 7 :type :ok      :value [[:append 250 10] [:r 253 [1 3 4]] [:r 255 [2 3 4 5]] [:append 256 3]]}
+{:index 0 :process 1 :type :invoke  :value [[:append 253 1] [:append 253 3] [:append 253 4] [:append 255 2] [:append 255 3] [:append 255 4] [:append 255 5] [:append 256 1] [:append 256 2]]}
+{:index 1 :process 1 :type :ok      :value [[:append 253 1] [:append 253 3] [:append 253 4] [:append 255 2] [:append 255 3] [:append 255 4] [:append 255 5] [:append 256 1] [:append 256 2]]}
+{:index 2 :process 1 :type :invoke, :value [[:append 255 8] [:r 253 nil]]}
+{:index 3 :process 1 :type :ok,     :value [[:append 255 8] [:r 253 [1 3 4]]]}
+{:index 4 :process 1 :type :invoke, :value [[:append 256 4] [:r 255 nil] [:r 256 nil] [:r 253 nil]]}
+{:index 5 :process 1 :type :ok,     :value [[:append 256 4] [:r 255 [2 3 4 5 8]] [:r 256 [1 2 4]] [:r 253 [1 3 4]]]}
+{:index 6 :process 1 :type :invoke, :value [[:append 250 10] [:r 253 nil] [:r 255 nil] [:append 256 3]]}
+{:index 7 :process 1 :type :ok      :value [[:append 250 10] [:r 253 [1 3 4]] [:r 255 [2 3 4 5]] [:append 256 3]]}

histories/elle/paper-example.json

@@ -1,8 +1,8 @@
-[{"index":0,"type":"invoke","value":[["append",253,1],["append",253,3],["append",253,4],["append",255,2],["append",255,3],["append",255,4],["append",255,5],["append",256,1],["append",256,2]]},
-{"index":1,"type":"ok","value":[["append",253,1],["append",253,3],["append",253,4],["append",255,2],["append",255,3],["append",255,4],["append",255,5],["append",256,1],["append",256,2]]},
-{"index":2,"type":"invoke","value":[["append",255,8],["r",253,null]]},
-{"index":3,"type":"ok","value":[["append",255,8],["r",253,[1,3,4]]]},
-{"index":4,"type":"invoke","value":[["append",256,4],["r",255,null],["r",256,null],["r",253,null]]},
-{"index":5,"type":"ok","value":[["append",256,4],["r",255,[2,3,4,5,8]],["r",256,[1,2,4]],["r",253,[1,3,4]]]},
-{"index":6,"type":"invoke","value":[["append",250,10],["r",253,null],["r",255,null],["append",256,3]]},
-{"index":7,"type":"ok","value":[["append",250,10],["r",253,[1,3,4]],["r",255,[2,3,4,5]],["append",256,3]]}]
+[{"index":0,"process":1,"type":"invoke","value":[["append",253,1],["append",253,3],["append",253,4],["append",255,2],["append",255,3],["append",255,4],["append",255,5],["append",256,1],["append",256,2]]},
+{"index":1,"process":1,"type":"ok","value":[["append",253,1],["append",253,3],["append",253,4],["append",255,2],["append",255,3],["append",255,4],["append",255,5],["append",256,1],["append",256,2]]},
+{"index":2,"process":1,"type":"invoke","value":[["append",255,8],["r",253,null]]},
+{"index":3,"process":1,"type":"ok","value":[["append",255,8],["r",253,[1,3,4]]]},
+{"index":4,"process":1,"type":"invoke","value":[["append",256,4],["r",255,null],["r",256,null],["r",253,null]]},
+{"index":5,"process":1,"type":"ok","value":[["append",256,4],["r",255,[2,3,4,5,8]],["r",256,[1,2,4]],["r",253,[1,3,4]]]},
+{"index":6,"process":1,"type":"invoke","value":[["append",250,10],["r",253,null],["r",255,null],["append",256,3]]},
+{"index":7,"process":1,"type":"ok","value":[["append",250,10],["r",253,[1,3,4]],["r",255,[2,3,4,5]],["append",256,3]]}]

project.clj

@@ -13,6 +13,6 @@
                  [org.clojure/tools.logging "1.1.0"]
                  [org.clojure/data.json "2.4.0"]
                  [spootnik/unilog "0.7.28"] ; required by elle
-                 [elle "0.1.5"]
-                 [jepsen "0.2.7"]
+                 [elle "0.1.6"]
+                 [jepsen "0.3.0"]
                  [knossos "0.3.8"]])

src/elle_cli/cli.clj

@@ -12,6 +12,7 @@
             [jepsen.tests.bank :as jepsen-bank]
             [jepsen.tests.long-fork :as jepsen-long-fork]
             [jepsen.independent :as independent]
+            [jepsen.history :as h]
             [elle-cli.comments :as comments-model]
             [elle-cli.sequential :as sequential-model]
             [elle.list-append :as elle-list-append]
@@ -231,7 +232,7 @@
           (throw (Exception. (format "File not found: %s" filepath))))
 
         (let [read-history  (or read-history (read-fn-by-extension filepath))
-              history       (read-history filepath)
+              history       (h/history (read-history filepath))
               analysis      (check-history model-name history options)
               validness     (:valid? analysis)]