create.erl

-record(state, {hashmap=undefined,
                size,
                map=[]}).

hashmap_create_pre(S) ->
    S#state.hashmap == undefined.

hashmap_create_args(_S) ->
    [eqc_gen:choose(4,10)].

hashmap_create(Size) ->
    HM = eqc_c:alloc({struct, hashmap_t}),
    hashmap:hashmap_create(HM, Size),
    HM.

hashmap_create_next(S, R, [_Size]) ->
    S#state{hashmap=R}.