3 Commits

Author	SHA1	Message	Date
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