11 lines
316 B
Erlang
11 lines
316 B
Erlang
-module(prop_rule_maps).
|
|
|
|
-include_lib("proper/include/proper.hrl").
|
|
|
|
prop_get_put_single_key() ->
|
|
?FORALL({Key, Val}, {term(), term()},
|
|
begin
|
|
Val =:= emqx_rule_maps:nested_get({var, Key},
|
|
emqx_rule_maps:nested_put({var, Key}, Val, #{}))
|
|
end).
|