Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Use
prop_filter
to force directory treenode (#1227)
On my machine, proptest generation has slowed down (now ~40 seconds to run 30 proptests, before ~16 seconds) significantly. This change (hopefully) keeps the behaviour identical and restores the speed we roughly had before. --- By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license and I agree to the terms of the [Developer Certificate of Origin (DCO)](https://developercertificate.org/). Signed-off-by: Christian Hagemeier <[email protected]>
- Loading branch information