diff options
author | Nick Vatamaniuc <vatamane@apache.org> | 2018-02-02 12:08:08 -0500 |
---|---|---|
committer | Nick Vatamaniuc <nickva@users.noreply.github.com> | 2018-04-03 16:48:40 -0400 |
commit | 02c9429d738e21f5dc5a92c33059e491e551a2f7 (patch) | |
tree | 5a8732ec1e840661de9ff5b38c8740a760a3d372 /.gitignore | |
parent | 948a1311cd6c4a4ad68254f6358afe207ab8a767 (diff) | |
download | couchdb-02c9429d738e21f5dc5a92c33059e491e551a2f7.tar.gz |
Key tree property tests
Key tree module is a candidate to use property tests on as it mostly deals with
manipulating a single data structure and functions are referentially
transparent, that is, they aren't many side-effects like IO for example.
The test consists of two main parts - generators and properties.
Generators generate random input, for example revision trees, and properties
check that certain properties hold, for example that after stemming all the
leaves are still present in the revtree.
To run the test:
make eunit apps=couch suites=couch_key_tree_prop_tests
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index a1a3040c9..faa07f983 100644 --- a/.gitignore +++ b/.gitignore @@ -53,6 +53,7 @@ src/mochiweb/ src/oauth/ src/rebar/ src/snappy/ +src/triq/ tmp/ src/couch/*.o |