anchor.diff:                      begin
                           leo_backend_db_api:new(?INSTANCE_NAME, ?NUM_OF_PROCS, Type, ?DB_PATH),
                           {H,S,Res} = run_commands(?MODULE, Cmds),
  -                        ?debugVal({H,S,Res}),
   
                           leo_backend_db_api:stop(?INSTANCE_NAME),
                           application:stop(leo_backend_db),
  
positive.code: %% @end
  %%====================================================================
  -module(leo_backend_db_prop).
  -include_lib("proper/include/proper.hrl").
  -include_lib("eunit/include/eunit.hrl").
  
  
negative.code:     frequency([{1, elements([<<"a">>, <<"b">>, <<"c">>, <<"d">>, <<"e">>])}]).
  
  
  %% @doc Property TEST
  %%
  prop_db() ->
      ?FORALL(Type, noshrink(db_type()),
  