diff options
| author | Alex Auvolat <alex@adnab.me> | 2023-04-19 22:17:20 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex@adnab.me> | 2023-10-18 12:03:12 +0200 |
| commit | 9ec4cca3340cfd03deb55cd58d6b354630e7eb5f (patch) | |
| tree | 0fb9e5d9c98870eec9e8bc10d18aafbea42007fc | |
| parent | 18ee8efb5f7bfcd64bf1a1336ffd6f54574aa79f (diff) | |
| download | garage-9ec4cca3340cfd03deb55cd58d6b354630e7eb5f.tar.gz garage-9ec4cca3340cfd03deb55cd58d6b354630e7eb5f.zip | |
reformatting
| -rw-r--r-- | script/jepsen.garage/shell.nix | 14 | ||||
| -rw-r--r-- | script/jepsen.garage/src/jepsen/garage/set.clj | 5 |
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])))}) |