[
https://issues.apache.org/jira/browse/CASSANDRA-19788?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Alex Petrov updated CASSANDRA-19788:
------------------------------------
Attachment: ci_summary.html
> Simplify and deduplicate Harry ModelChecker
> -------------------------------------------
>
> Key: CASSANDRA-19788
> URL: https://issues.apache.org/jira/browse/CASSANDRA-19788
> Project: Cassandra
> Issue Type: Improvement
> Components: Test/fuzz
> Reporter: Alex Petrov
> Assignee: Alex Petrov
> Priority: High
> Fix For: 5.1
>
> Attachments: ci_summary.html, result_details.tar.gz
>
>
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
