Deuxfleurs/garage
41
56
Fork 73
Code Issues 99 Pull requests 14 Releases 30 Wiki Activity

the fix for increasing timestamps does not make things linearizable
All checks were successful
continuous-integration/drone/push Build is passing
Details
continuous-integration/drone/pr Build is passing
Details

Browse source
This commit is contained in:
Alex 2023-04-18 18:21:35 +02:00
parent 7d0523883a
commit cc5a677bac
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
script/jepsen.garage/src/jepsen/garage.clj
View file

@ -27,7 +27,7 @@
(def grg-bucket "jepsen") (def grg-bucket "jepsen")
(def grg-object "1") (def grg-object "1")
(defn db (defn garage
"Garage DB for a particular version" "Garage DB for a particular version"
[version] [version]
(reify db/DB (reify db/DB
@ -141,7 +141,8 @@
{:pure-generators true {:pure-generators true
:name "garage" :name "garage"
:os debian/os :os debian/os
:db (db "v0.8.2") :db (garage "v0.8.2")
; :db (garage "d39c5c6984c581e16932aaa07e3687e7b5ce266d") ; fixed for increasing timestamps
:client (Client. nil) :client (Client. nil)
:nemesis (nemesis/partition-random-halves) :nemesis (nemesis/partition-random-halves)
:checker (checker/compose :checker (checker/compose