The bound-pair generator filtered out ~1/4 of generated values, so unlucky seeds hit StreamData's FilterTooNarrowError under full property runs. Construct an at-least-one-bound-set pair directly instead, preserving the exact domain with no rejection. |
||
|---|---|---|
| .. | ||
| index | ||
| date_filter_custom_field_test.exs | ||
| date_filter_default_test.exs | ||
| date_filter_property_test.exs | ||
| date_filter_test.exs | ||
| deactivate_test.exs | ||