You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@cassandra.apache.org by "Caleb Rackliffe (Jira)" <ji...@apache.org> on 2024/08/14 16:26:00 UTC

[jira] [Commented] (CASSANDRA-19788) Simplify and deduplicate Harry ModelChecker

    [ https://issues.apache.org/jira/browse/CASSANDRA-19788?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17873614#comment-17873614 ] 

Caleb Rackliffe commented on CASSANDRA-19788:
---------------------------------------------

+1

> 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
>
>




--
This message was sent by Atlassian Jira
(v8.20.10#820010)

---------------------------------------------------------------------
To unsubscribe, e-mail: commits-unsubscribe@cassandra.apache.org
For additional commands, e-mail: commits-help@cassandra.apache.org