jepsen-foundationdb-cas-test.clj

(deftest create-cas-test
  (let [test (run!
               (assoc
                 noop-test
                 :name      "foundationdb"
                 :os        ubuntu/os
                 :db        db
                 :client    (cas-register)
                 :model     (model/cas-register)
                 :checker   (checker/compose {:html timeline/html
                                              :linear checker/linearizable})
                 :nemesis   (nemesis/partition-random-halves)
                 :generator (gen/phases
                              (->> gen/cas
                                   (gen/delay 1)
                                   (gen/nemesis
                                     (gen/seq
                                       (cycle [(gen/sleep 5)
                                               {:type :info :f :start}
                                               (gen/sleep 5)
                                               {:type :info :f :stop}])))
                                   (gen/time-limit 120))
                              (gen/nemesis
                                (gen/once {:type :info :f :stop}))
                              (gen/clients
                                (gen/once {:type :invoke :f :read})))))]
    (is (:valid? (:results test)))
    (pprint (:results test))))