Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove unnecessary ordering restriction from
prop_listRegisteredPools
.
The `listRegisteredPools` operation doesn't guarantee to list pools in any particular order, so our property tests also shouldn't require any particular order.
- Loading branch information