Test.carly 0.4.1
Released under the Public Domain
Generative test harness for stateful system behavior.
Installation
To install, add the following dependency to your project or build file:
[mvxcvi/test.carly "0.4.1"]
Namespaces
test.carly.check
Integration code for wedding generative test.check functions and clojure.test assertion macros.
Public variables and functions:
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.
Public variables and functions:
test.carly.report
Integration code for wedding generative test.check functions and clojure.test assertion macros.
Public variables and functions:
test.carly.search
Functions for running concurrent workers to search for valid worldlines.
Public variables and functions:
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.
Public variables and functions: