[
https://issues.apache.org/jira/browse/CASSANDRA-19788?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Alex Petrov updated CASSANDRA-19788:
------------------------------------
Description: (was:
)
Small refactoring, removing some duplicate classes, remainders from after Harry
was merged into tree.
> Simplify and deduplicate Harry ModelChecker
> -------------------------------------------
>
> Key: CASSANDRA-19788
> URL: https://issues.apache.org/jira/browse/CASSANDRA-19788
> Project: Cassandra
> Issue Type: Improvement
> Reporter: Alex Petrov
> Assignee: Alex Petrov
> Priority: Normal
>
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
