prop_rule_maps.erl 316 B

12345678910
  1. -module(prop_rule_maps).
  2. -include_lib("proper/include/proper.hrl").
  3. prop_get_put_single_key() ->
  4. ?FORALL({Key, Val}, {term(), term()},
  5. begin
  6. Val =:= emqx_rule_maps:nested_get({var, Key},
  7. emqx_rule_maps:nested_put({var, Key}, Val, #{}))
  8. end).