aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlex Auvolat <alex@adnab.me>2023-04-19 22:17:20 +0200
committerAlex Auvolat <alex@adnab.me>2023-10-18 12:03:12 +0200
commit9ec4cca3340cfd03deb55cd58d6b354630e7eb5f (patch)
tree0fb9e5d9c98870eec9e8bc10d18aafbea42007fc
parent18ee8efb5f7bfcd64bf1a1336ffd6f54574aa79f (diff)
downloadgarage-9ec4cca3340cfd03deb55cd58d6b354630e7eb5f.tar.gz
garage-9ec4cca3340cfd03deb55cd58d6b354630e7eb5f.zip
reformatting
-rw-r--r--script/jepsen.garage/shell.nix14
-rw-r--r--script/jepsen.garage/src/jepsen/garage/set.clj5
2 files changed, 8 insertions, 11 deletions
diff --git a/script/jepsen.garage/shell.nix b/script/jepsen.garage/shell.nix
index 595a78d9..1f2514c6 100644
--- a/script/jepsen.garage/shell.nix
+++ b/script/jepsen.garage/shell.nix
@@ -1,8 +1,8 @@
-{ pkgs ? import <nixpkgs> {} }:
- pkgs.mkShell {
- nativeBuildInputs = with pkgs; [
- leiningen
- vagrant
- gnuplot
- ];
+{ pkgs ? import <nixpkgs> { } }:
+pkgs.mkShell {
+ nativeBuildInputs = with pkgs; [
+ leiningen
+ vagrant
+ gnuplot
+ ];
}
diff --git a/script/jepsen.garage/src/jepsen/garage/set.clj b/script/jepsen.garage/src/jepsen/garage/set.clj
index 9b21d50e..5f76d1ac 100644
--- a/script/jepsen.garage/src/jepsen/garage/set.clj
+++ b/script/jepsen.garage/src/jepsen/garage/set.clj
@@ -57,8 +57,6 @@
:unexpected #{}}
final (reduce
(fn [state op]
- (info "state:" state)
- (info "operation:" op)
(case [(:type op) (:f op)]
([:invoke :add])
(assoc state :add-started (conj (:add-started state) (:value op)))
@@ -77,7 +75,6 @@
state))
init history)
valid? (and (empty? (:missed final)) (empty? (:unexpected final)))]
- (info "final state:" final)
(assoc final :valid? valid?)))))
(defn workload1
@@ -110,7 +107,7 @@
:timeline (timeline/html)}))
:generator (independent/concurrent-generator
10
- (range 100)
+ (range)
(fn [k]
(gen/mix [op-add-rand100 op-read])))})