Arb.list duplicated value as edgecase #1892
Labels
enhancement ✨
Suggestions for adding new features or improving existing ones.
property-testing 📏
Related to the property testing mechanisms within the testing framework.
Milestone
Comments
|
I like that, good idea.
…On Thu, 10 Dec 2020 at 02:45, Thijs de Haan ***@***.***> wrote:
A little suggestion for Arb.list
A list that has a duplicated value is an edge-case of a list.
By using the first edge-case of the Gen (if one is set) this can be
repeatable.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
<#1892>, or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AAFVSGVFTISYLEAHMBRBW5TSUCDC5ANCNFSM4UUV3IVA>
.
|
LeoColman
added
enhancement ✨
sksamuel
added a commit
that referenced
this issue
Jan 24, 2021
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
A little suggestion for
Arb.listA list that has a duplicated value is an edge-case of a list.
By using the first edge-case of the
Gen(if one is set) this can be repeatable.But what to do if no edge-cases are provided?
The text was updated successfully, but these errors were encountered: