Add topt_maximum_test_depth for use with SmallCheck #9

Merged
merged 1 commit into from Dec 9, 2011

Conversation

Projects
None yet
2 participants
@feuerbach
Contributor

feuerbach commented Dec 8, 2011

No description provided.

batterseapower added a commit that referenced this pull request Dec 9, 2011

Merge pull request #9 from feuerbach/master
Add topt_maximum_test_depth for use with SmallCheck

@batterseapower batterseapower merged commit fe1c71d into batterseapower:master Dec 9, 2011

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment