From 93a7132b4c5fb63966702f15ec995d805a40c8f9 Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Tue, 18 Apr 2023 18:21:35 +0200 Subject: [PATCH] the fix for increasing timestamps does not make things linearizable --- script/jepsen.garage/src/jepsen/garage.clj | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/script/jepsen.garage/src/jepsen/garage.clj b/script/jepsen.garage/src/jepsen/garage.clj index df3c8f7d..492dad4c 100644 --- a/script/jepsen.garage/src/jepsen/garage.clj +++ b/script/jepsen.garage/src/jepsen/garage.clj @@ -27,7 +27,7 @@ (def grg-bucket "jepsen") (def grg-object "1") -(defn db +(defn garage "Garage DB for a particular version" [version] (reify db/DB @@ -141,7 +141,8 @@ {:pure-generators true :name "garage" :os debian/os - :db (db "v0.8.2") + :db (garage "v0.8.2") + ; :db (garage "d39c5c6984c581e16932aaa07e3687e7b5ce266d") ; fixed for increasing timestamps :client (Client. nil) :nemesis (nemesis/partition-random-halves) :checker (checker/compose