[
https://issues.apache.org/jira/browse/CASSANDRA-21263?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=18069464#comment-18069464
]
Minal Kyada commented on CASSANDRA-21263:
-----------------------------------------
*Fix:* Lower the per-snapshot rejection rate from ~25% to ~6.25%, making
exhaustion effectively impossible within QuickTheories' default budget.
> Fix intermittent QuickTheories exhaustion in WriteWarningsSnapshotTest
> property tests
> -------------------------------------------------------------------------------------
>
> Key: CASSANDRA-21263
> URL: https://issues.apache.org/jira/browse/CASSANDRA-21263
> Project: Apache Cassandra
> Issue Type: Bug
> Components: Legacy/Local Write-Read Paths
> Reporter: Minal Kyada
> Assignee: Minal Kyada
> Priority: Normal
>
> *WriteWarningsSnapshotTest.testMergeCommutative intermittently fails in CI
> with: java.lang.IllegalStateException: Gave up after finding only 726
> example(s) matching the assumptions*
> *Root cause:* The counter() generator used SourceDSL.booleans().all() to
> decide whether to produce an empty WriteThresholdCounter, giving a 50%
> probability of empty. The nonEmpty() generator then applies
> .assuming(snapshot -> !snapshot.isEmpty()) to reject snapshots where both
> counters happen to be empty.
> With a 50% empty rate per counter, roughly 25% of generated snapshots are
> rejected. For testMergeCommutative (2 args), the compound rejection rate
> causes QuickTheories to exhaust its example budget before finding enough
> valid inputs.
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
