Commit Graph

6 Commits

Author SHA1 Message Date
Sebastian Messmer
81ab18f595 Speedup test case 2015-02-24 22:46:44 +01:00
Sebastian Messmer
7f55285ecd Implement removing trees and write some test cases for DataTreeStore 2015-02-24 22:44:10 +01:00
Sebastian Messmer
7fea8017c8 Refactor shrinking test cases 2015-02-23 17:30:44 +01:00
Sebastian Messmer
fee8cd42eb Refactoring test cases 2015-02-23 17:03:45 +01:00
Sebastian Messmer
05b4ccae05 Added some test cases for shrinking trees 2015-02-23 16:21:02 +01:00
Sebastian Messmer
ab2e789dac Implement tree shrinking and some test cases for it 2015-02-22 19:30:42 +01:00