Liking cljdoc? Tell your friends :D
test.carly.check
Integration code for wedding generative test.check functions and
clojure.test assertion macros.
Integration code for wedding generative `test.check` functions and `clojure.test` assertion macros.
test.carly.core
Suite of tests to verify that a given system implementation conforms to the spec during a sequence of operations performed on it.
Suite of tests to verify that a given system implementation conforms to the spec during a sequence of operations performed on it.
test.carly.op
Test operations and related functionality.
Test operations and related functionality.
test.carly.report
Integration code for wedding generative test.check functions and
clojure.test assertion macros.
Integration code for wedding generative `test.check` functions and `clojure.test` assertion macros.
test.carly.search
Functions for running concurrent workers to search for valid worldlines.
Functions for running concurrent workers to search for valid worldlines.
test.carly.world
Record and functions for simulating world states. Each world is represented by an immutable map containing the model state, current history, and map of pending thread operations.
Record and functions for simulating world states. Each world is represented by an immutable map containing the model state, current history, and map of pending thread operations.
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close