jepsen-io / elle

Black-box transactional safety checker based on cycle detection
Eclipse Public License 2.0
644 stars 34 forks source link

Example with list-append history is broken in 0.1.6 #19

Closed ligurio closed 1 year ago

ligurio commented 1 year ago

In a new version 0.1.6 example described in a README ^1 is broken:

elle.core=> (require '[elle.list-append :as a])
nil
elle.core=> h
[{:type :ok, :value [[:append :x 1] [:r :y [1]]]} {:type :ok, :value [[:append :x 2] [:append :y 1]]} {:type :ok, :value [[:r :x [1 2]]]}]
elle.core=> (pprint (a/check {:consistency-models [:serializable], :directory "out"} h))
Execution error (ExceptionInfo) at jepsen.history/filter (history.clj:1143).
Assert failed:
{:type :jepsen.history/not-history,
 :history-type clojure.lang.PersistentVector}

elle.core=> 

This is probably due to significant changes in history format, https://github.com/jepsen-io/jepsen/releases/tag/v0.3.0

aphyr commented 1 year ago

Fixed!