[GitHub] nickva opened a new pull request #1144: Key tree property tests

[GitBox <gi...@apache.org>]

nickva opened a new pull request #1144: Key tree property tests
URL: https://github.com/apache/couchdb/pull/1144
 
 
   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`
   
   - [ ] Code is written and works correctly;
   - [ ] Changes are covered by tests;
   - [ ] Documentation reflects the changes;
   

----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on GitHub and use the
URL above to go to the specific comment.
 
For queries about this service, please contact Infrastructure at:
users@infra.apache.org


With regards,
Apache Git Services