dialyzer fixes

Author: kjnilsson

src/ra_kv.erl

@@ -76,7 +76,7 @@ start_cluster(System, ClusterName, #{members := ServerIds})
 -spec add_member(System :: atom(),
                  NewMemberId :: ra_server_id(),
                  LeaderId :: ra_server_id()) ->
-    ok | {error, term()}.
+    ok | {error, term()} | {timeout, ra_server_id()}.
 add_member(System, {Name, _} = Id, LeaderId0) ->
     {ok, Members, LeaderId1} = ra:members(LeaderId0),
     ?assert(not lists:member(Id, Members)),
@@ -105,7 +105,7 @@ add_member(System, {Name, _} = Id, LeaderId0) ->
 -spec remove_member(System :: atom(),
                     NewMemberId :: ra_server_id(),
                     LeaderId :: ra_server_id()) ->
-    ok | {error, term()}.
+    ok | {error, term()} | {timeout, ra_server_id()}.
 remove_member(System, Id, LeaderId0) ->
     {ok, Members, _} = ra:members(LeaderId0),
     RemainingMembers = lists:delete(Id, Members),

src/ra_kv_harness.erl

@@ -923,7 +923,7 @@ validate_key_across_members(Key, ExpectedValue, Members) ->
         false -> error
     end.
 
-partitioned_node_name(#{partitioned_state := #{partitioned_node := {_, Node}}}) ->
+partitioned_node_name(#{partition_state := #{partitioned_node := {_, Node}}}) ->
     Node;
 partitioned_node_name(_State) ->
     none.