Function random_tree

src/scope.rs:1371–1375

(depth: usize, seed: u64)

                        });
                    });
                });
            });
        });

        assert!(completed);

        THREAD_POOL.depopulate();
    }