zkessin

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

-module(create_delete_database_eqc).

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

zkessin

new(DB) ->
    StoreConfig = #{
      name => DB
     },
    {ok ,_} = application:ensure_all_started(barrel),
    {ok ,_} = application:ensure_all_started(es_store),
    case  es_store:new(StoreConfig) of
        {ok,DBName} ->
            DBName;
        {error, {store_exists,StoreConfig}} ->

zkessin

.
* 1: syntax error before: '.'
(es_store@localhost)3> eqc().
Starting Quviq QuickCheck version 1.41.2
   (compiled for R19 at {{2017,6,13},{8,20,5}})
   (Warning: You are using R20)
Licence for Kobil Systems GmbH reserved until {{2017,8,17},{14,42,16}}
prop_barrel_rpc_events_eqc: 
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 ===
          supervisor: {local,sasl_safe_sup}

zkessin

=CRASH REPORT==== 16-Aug-2017::10:07:06 ===
  crasher:
    initial call: barrel_channel:init/1
    pid: <0.1829.0>
    registered_name: []
    exception exit: {server_down,shutdown}
      in function  gen_statem:parse_event_result/8 (gen_statem.erl, line 1272)
      in call from gen_statem:loop_event/6 (gen_statem.erl, line 1015)
    ancestors: [<0.1827.0>,barrel_channel_sup_sup,barrel_rpc_sup,barrel_sup,

zkessin

=CRASH REPORT==== 15-Aug-2017::11:36:09 ===
  crasher:
    initial call: barrel_db:init/1
    pid: <0.8534.0>
    registered_name: []
    exception error: bad argument
      in function  jsone_encode:escape_string/4
         called as jsone_encode:escape_string(<<"¼">>,
                                              [{object_value,<<>>,[]},
                                               {object_members,

zkessin

 {service_error,
     {badarg,
	[{jsone_encode, escape_string,
	    [<<194>>,
	     [{object_members, [{<<165>>, <<35>>}]},
	      {object_members,
		 [{<<105, 100>>,
		   <<205, 143, 241, 130, 167, 168, 237, 130, 152, 221, 132, 62,
		     242, 135, 145, 169>>}]}],
	     <<123, 34, 100, 111, 99, 34, 58, 123, 34, 78, 34, 58, 34>>,

zkessin

-module(neg_doccount).
-compile(export_all).


test() ->
    {ok,_} = application:ensure_all_started(barrel),
    barrel:create_database(#{<<"database_id">> => <<116, 101, 115, 116, 48, 49>>}),
    barrel:post(<<116, 101, 115, 116, 48, 49>>,
                #{<<99, 111, 110, 116, 101, 110, 116>>
                      => <<0, 0, 0, 0, 0, 0, 0, 0>>,

zkessin

2017-07-26 13:27:39 =CRASH REPORT====
  crasher:
    initial call: barrel_local_changes:init/5
    pid: <0.2232.0>
    registered_name: []
    exception error: bad argument: [{rocksdb,iterator,[#Ref<0.1526929247.3726770201.149634>,[{snapshot,#Ref<0.1526929247.3726770177.198807>}]],[]},{barrel_fold,fold_prefix,5,[{file,"/home/zkessin/Documents/Kobil/barrel/_build/eqc/lib/barrel/src/store/barrel_fold.erl"},{line,28}]},{barrel_db,changes_since_int,5,[{file,"/home/zkessin/Documents/Kobil/barrel/_build/eqc/lib/barrel/src/store/barrel_db.erl"},{line,343}]},{barrel_db,transact,3,[{file,"/home/zkessin/Documents/Kobil/barrel/_build/eqc/lib/barrel/src/store/barrel_db.erl"},{line,466}]},{barrel_local_changes,init,5,[{file,"/home/zkessin/Documents/Kobil/barrel/_build/eqc/lib/barrel/src/local/barrel_local_changes.erl"},{line,58}]},{proc_lib,init_p_do_apply,3,[{file,"proc_lib.erl"},{line,247}]}]
    ancestors: [barrel_local_changes_sup,barrel_sup,<0.2120.0>]
    message_queue_len: 0
    messages: []
    links: [<0.2129.0>]

zkessin

-module(replication_ssce).


-export([test/0]).

test() ->
		DBS = [<<"50c84cda-e011-49d3-889a-0b2ad8206e6c">>,
					 <<"774129ae-db15-431e-9ded-fbfb924b33b2">>],
		[S,T] = DBS,
		[begin

zkessin

cleanup() ->
    [barrel:create_database(#{<<"database_id">> => uuid:get_v4()}) 
     || A <-  lists:seq(1,100)],
    Dbs = barrel:database_names(),
    [begin
         ok = barrel:delete_database(D)
     end|| D<- Dbs],
    [] = barrel:database_names(),
    ok.