From f5b09727815523a1bd4ba5f62d892b2b45b5bed6 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex@adnab.me>
Date: Fri, 20 Oct 2023 15:00:10 +0200
Subject: jepsen: register crdt read-after-write is fixed with deleteobject
 patch

---
 script/jepsen.garage/src/jepsen/garage.clj     | 3 ++-
 script/jepsen.garage/src/jepsen/garage/reg.clj | 3 +--
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'script/jepsen.garage/src/jepsen')

diff --git a/script/jepsen.garage/src/jepsen/garage.clj b/script/jepsen.garage/src/jepsen/garage.clj
index ce02b7f7..a566d9be 100644
--- a/script/jepsen.garage/src/jepsen/garage.clj
+++ b/script/jepsen.garage/src/jepsen/garage.clj
@@ -23,7 +23,8 @@
 (def patches
   "A map of patch names to Garage builds"
   {"default" "v0.9.0"
-   "tsfix1" "d146cdd5b66ca1d3ed65ce93ca42c6db22defc09"})
+   "tsfix1" "d146cdd5b66ca1d3ed65ce93ca42c6db22defc09"
+   "tsfix2" "c82d91c6bccf307186332b6c5c6fc0b128b1b2b1"})
 
 (def cli-opts
   "Additional command line options."
diff --git a/script/jepsen.garage/src/jepsen/garage/reg.clj b/script/jepsen.garage/src/jepsen/garage/reg.clj
index ecc96590..6772abfe 100644
--- a/script/jepsen.garage/src/jepsen/garage/reg.clj
+++ b/script/jepsen.garage/src/jepsen/garage/reg.clj
@@ -112,8 +112,7 @@
                        (range)
                        (fn [k]
                          (->>
-                           ; (gen/mix [op-get op-put op-del])
-                           (gen/mix [op-get op-put])
+                           (gen/mix [op-get op-put op-del])
                            (gen/limit (:ops-per-key opts)))))})
 
 (defn workload1
-- 
cgit v1.2.3