5 Commits

Author	SHA1	Message	Date
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	c81e058717	TODOs	2015-02-23 16:21:41 +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