stateful-check.generator — org.clojars.czan/stateful-check 0.4.4

commands-gen clj

(commands-gen spec {:keys [threads max-length shrink-strategies]})

default-max-length clj

default-max-size clj

default-shrink-strategies clj

default-threads clj

every-interleaving clj

(every-interleaving {:keys [sequential parallel]})

(every-interleaving sequential parallel)

index->letter clj

(index->letter n)

make-vars clj

(make-vars length thread-id)

setup-var clj