hashmap_replace.erl

hashmap_replace_pre(S) ->
    S#state.hashmap /= undefined andalso length(S#state.map) > 0.

hashmap_replace_args(S) ->
    {Keys, Values} = lists:unzip(S#state.map),
    [S#state.hashmap, eqc_gen:oneof(Keys),
     ?SUCHTHAT(X2, eqc_gen:list(eqc_gen:char()), length(X2) > 0 andalso not lists:member(X2, Values))].

hashmap_replace(Hashmap, Key, Value) ->
    KeyStr = eqc_c:create_string(Key),
    ValueStr = eqc_c:create_string(Value),
    R = hashmap:hashmap_put(Hashmap, KeyStr, length(Key), ValueStr, length(Value)),
    eqc_c:free(KeyStr),
    eqc_c:free(ValueStr),
    R.

hashmap_replace_next(S, _R, [_, Key, Value]) ->
    S#state{map=lists:keyreplace(Key, 1, S#state.map, {Key, Value})}.