[
https://issues.apache.org/jira/browse/CASSANDRA-19788?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Alex Petrov updated CASSANDRA-19788:
------------------------------------
Source Control Link:
https://github.com/apache/cassandra/commit/52396ec1fc4d08a988714704ff0cbb796ee06f7f
Resolution: Fixed
Status: Resolved (was: Ready to Commit)
> 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: commits-unsubscr...@cassandra.apache.org
For additional commands, e-mail: commits-h...@cassandra.apache.org
