create_and_delete_db_eqc.erl

%%% @author Zachary Kessin <>
%%% @copyright (C) 2017, Zachary Kessin
%%% @doc
%%%
%%% @end
%%% Created : 19 Jul 2017 by Zachary Kessin <>

-module(create_and_delete_db_eqc).

-include_lib("eqc/include/eqc.hrl").

-compile(export_all).


prop_create_delete_db() ->
		?FORALL(DBS,
						non_empty(list(utf8(16))),
						begin
								L = length( barrel:database_names()),
								[begin
										 {ok, #{<<"database_id">> := Id}} =  barrel:create_database(#{<<"database_id">> => Id}),
										 barrel:post(Id, #{<<"id">> => <<"1234">>,<<"content">> => <<"A">>}, #{}),
										 ok = barrel:delete_database(Id)
								 end|| Id <- DBS],
								L1 =  length( barrel:database_names()),
								L == L1
						end).