Created
August 17, 2017 11:32
-
-
Save zkessin/a823445d2a6e737e8cf41e39084f0564 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
. | |
* 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} | |
started: [{pid,<0.642.0>}, | |
{id,alarm_handler}, | |
{mfargs,{alarm_handler,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,2000}, | |
{child_type,worker}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,sasl_sup} | |
started: [{pid,<0.641.0>}, | |
{id,sasl_safe_sup}, | |
{mfargs, | |
{supervisor,start_link, | |
[{local,sasl_safe_sup},sasl,safe]}}, | |
{restart_type,permanent}, | |
{shutdown,infinity}, | |
{child_type,supervisor}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,sasl_sup} | |
started: [{pid,<0.643.0>}, | |
{id,release_handler}, | |
{mfargs,{release_handler,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,2000}, | |
{child_type,worker}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
application: sasl | |
started_at: es_store@localhost | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
application: rocksdb | |
started_at: es_store@localhost | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
application: jsx | |
started_at: es_store@localhost | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
application: jsone | |
started_at: es_store@localhost | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
application: quickrand | |
started_at: es_store@localhost | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
application: uuid | |
started_at: es_store@localhost | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,gproc_sup} | |
started: [{pid,<0.654.0>}, | |
{id,gproc}, | |
{mfargs,{gproc,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,2000}, | |
{child_type,worker}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,gproc_sup} | |
started: [{pid,<0.655.0>}, | |
{id,gproc_monitor}, | |
{mfargs,{gproc_monitor,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,2000}, | |
{child_type,worker}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,gproc_sup} | |
started: [{pid,<0.656.0>}, | |
{id,gproc_bcast}, | |
{mfargs,{gproc_bcast,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,2000}, | |
{child_type,worker}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,gproc_sup} | |
started: [{pid,<0.657.0>}, | |
{id,gproc_pool}, | |
{mfargs,{gproc_pool,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,2000}, | |
{child_type,worker}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
application: gproc | |
started_at: es_store@localhost | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,hooks_sup} | |
started: [{pid,<0.662.0>}, | |
{id,hooks}, | |
{mfargs,{hooks,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,5000}, | |
{child_type,worker}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
application: hooks | |
started_at: es_store@localhost | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,barrel_id_sup} | |
started: [{pid,<0.670.0>}, | |
{id,persist_time_server}, | |
{mfargs,{barrel_ts,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,5000}, | |
{child_type,worker}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,barrel_id_sup} | |
started: [{pid,<0.671.0>}, | |
{id,server}, | |
{mfargs,{barrel_id,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,5000}, | |
{child_type,worker}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,barrel_sup} | |
started: [{pid,<0.669.0>}, | |
{id,barrel_id_sup}, | |
{mfargs,{barrel_id_sup,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,infinity}, | |
{child_type,supervisor}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,barrel_rpc_sup} | |
started: [{pid,<0.673.0>}, | |
{id,barrel_channel_sup_sup}, | |
{mfargs,{barrel_channel_sup_sup,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,infinity}, | |
{child_type,supervisor}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,barrel_rpc_sup} | |
started: [{pid,<0.674.0>}, | |
{id,barrel_server_channel_sup}, | |
{mfargs,{barrel_server_channel_sup,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,infinity}, | |
{child_type,supervisor}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,barrel_rpc_sup} | |
started: [{pid,<0.675.0>}, | |
{id,barrel_rpc_service}, | |
{mfargs,{barrel_rpc_service,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,5000}, | |
{child_type,worker}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,barrel_sup} | |
started: [{pid,<0.672.0>}, | |
{id,barrel_rpc_sup}, | |
{mfargs,{barrel_rpc_sup,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,infinity}, | |
{child_type,supervisor}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,barrel_sup} | |
started: [{pid,<0.676.0>}, | |
{id,barrel_local_changes_sup}, | |
{mfargs,{barrel_local_changes_sup,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,infinity}, | |
{child_type,supervisor}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,barrel_store_sup} | |
started: [{pid,<0.678.0>}, | |
{id,barrel_db_sup}, | |
{mfargs,{barrel_db_sup,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,infinity}, | |
{child_type,supervisor}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,barrel_store_sup} | |
started: [{pid,<0.679.0>}, | |
{id,barrel_store}, | |
{mfargs,{barrel_store,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,2000}, | |
{child_type,worker}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,barrel_sup} | |
started: [{pid,<0.677.0>}, | |
{id,barrel_store_sup}, | |
{mfargs,{barrel_store_sup,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,infinity}, | |
{child_type,supervisor}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,barrel_sup} | |
started: [{pid,<0.681.0>}, | |
{id,barrel_event}, | |
{mfargs,{barrel_event,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,infinity}, | |
{child_type,worker}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,barrel_replicate_sup} | |
started: [{pid,<0.683.0>}, | |
{id,barrel_replicate}, | |
{mfargs,{barrel_replicate,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,2000}, | |
{child_type,worker}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,barrel_replicate_sup} | |
started: [{pid,<0.685.0>}, | |
{id,barrel_replicate_task_sup}, | |
{mfargs,{barrel_replicate_task_sup,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,2000}, | |
{child_type,supervisor}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,barrel_sup} | |
started: [{pid,<0.682.0>}, | |
{id,barrel_replicate_sup}, | |
{mfargs,{barrel_replicate_sup,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,infinity}, | |
{child_type,supervisor}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
application: barrel | |
started_at: es_store@localhost | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,es_store_sup} | |
started: [{pid,<0.691.0>}, | |
{id,store_sup}, | |
{mfargs,{es_store_ctl_sup_sup,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,infinity}, | |
{child_type,supervisor}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
application: es_store | |
started_at: es_store@localhost | |
14:32:16.978 [error] ++++ es_store:post( <<"test01">>, #{<<"id">> => <<230,140,184,232,175,178,202,190,244,137,141,137,103,48>>,<<"v">> => <<>>} , #{}). | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,kernel_safe_sup} | |
started: [{pid,<0.692.0>}, | |
{id,dets_sup}, | |
{mfargs,{dets_sup,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,1000}, | |
{child_type,supervisor}] | |
=PROGRESS REPORT==== 17-Aug-2017::14:32:16 === | |
supervisor: {local,kernel_safe_sup} | |
started: [{pid,<0.693.0>}, | |
{id,dets}, | |
{mfargs,{dets_server,start_link,[]}}, | |
{restart_type,permanent}, | |
{shutdown,2000}, | |
{child_type,worker}] | |
Failed! After 1 tests. | |
[{model,barrel_rpc_events_eqc}, | |
{init, | |
{state, | |
[{var,db1},{var,db2}], | |
0, | |
{dict,0,16,16,8,80,48, | |
{[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[]}, | |
{{[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[]}}}, | |
true,false, | |
{set,0,16,16,8,80,48, | |
{[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[]}, | |
{{[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[]}}}, | |
[]}}, | |
{set, | |
{var,1}, | |
{call,barrel_rpc_events_eqc,post, | |
[{var,db1}, | |
#{<<"id">> => <<230,140,184,232,175,178,202,190,244,137,141,137,103,48>>, | |
<<"v">> => <<>>}, | |
#{}]}}, | |
{set, | |
{var,2}, | |
{call,barrel_rpc_events_eqc,post, | |
[{var,db1}, | |
#{<<"id">> => <<59,241,189,182,191,241,161,139,175,200,160,233,136,144,5>>, | |
<<"v">> => <<>>}, | |
#{}]}}, | |
{set, | |
{var,3}, | |
{call,barrel_rpc_events_eqc,post, | |
[{var,db1}, | |
#{<<"id">> => <<199,171,82,207,144,202,158,230,129,178,239,172,190>>, | |
<<"v">> => <<>>}, | |
#{}]}}, | |
{set, | |
{var,4}, | |
{call,barrel_rpc_events_eqc,post, | |
[{var,db1}, | |
#{<<"id">> => <<228,169,178,239,187,148,24,203,179,58,109>>, | |
<<"v">> => <<>>}, | |
#{}]}}, | |
{set, | |
{var,5}, | |
{call,barrel_rpc_events_eqc,put, | |
[{var,db1}, | |
<<230,140,184,232,175,178,202,190,244,137,141,137,103,48>>, | |
#{<<"content">> => <<239,172,167,225,132,163,238,131,156,227,134,169>>, | |
<<"newcontent">> => | |
<<73,236,131,161,231,160,145,217,135,207,149,114,92,218,183,197,149, | |
236,150,150,203,147,213,172,97,239,133,182>>}, | |
#{}]}}, | |
{set, | |
{var,6}, | |
{call,barrel_rpc_events_eqc,get, | |
[{var,db1}, | |
<<59,241,189,182,191,241,161,139,175,200,160,233,136,144,5>>, | |
{dict,4,16,16,8,80,48, | |
{[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[]}, | |
{{[],[],[],[],[], | |
[[<<230,140,184,232,175,178,202,190,244,137,141,137,103,48>>| | |
{doc, | |
<<230,140,184,232,175,178,202,190,244,137,141,137,103,48>>, | |
[{var,5},{var,1}]}]], | |
[[<<199,171,82,207,144,202,158,230,129,178,239,172,190>>| | |
{doc, | |
<<199,171,82,207,144,202,158,230,129,178,239,172,190>>, | |
[{var,3}]}]], | |
[[<<59,241,189,182,191,241,161,139,175,200,160,233,136,144,5>>| | |
{doc, | |
<<59,241,189,182,191,241,161,139,175,200,160,233,136,144,5>>, | |
[{var,2}]}], | |
[<<228,169,178,239,187,148,24,203,179,58,109>>| | |
{doc,<<228,169,178,239,187,148,24,203,179,58,109>>,[{var,4}]}]], | |
[],[],[],[],[],[],[],[]}}}, | |
nothing]}}, | |
{set, | |
{var,7}, | |
{call,barrel_rpc_events_eqc,post, | |
[{var,db1}, | |
#{<<"id">> => <<202,184,70,241,179,133,128,41,48,48>>,<<"v">> => <<>>}, | |
#{}]}}, | |
{set, | |
{var,8}, | |
{call,barrel_rpc_events_eqc,put, | |
[{var,db1}, | |
<<202,184,70,241,179,133,128,41,48,48>>, | |
#{<<"content">> => <<218,146,239,169,186,88,194,184>>, | |
<<"newcontent">> => | |
<<239,151,165,213,175,52,238,190,129,194,170,218,150,216,133,238,190, | |
185,232,164,159,200,152,238,145,134,241,167,142,141,233,142,189,84>>}, | |
#{}]}}, | |
{set, | |
{var,9}, | |
{call,barrel_rpc_events_eqc,post, | |
[{var,db1}, | |
#{<<"id">> => <<208,147,204,143,229,162,168,239,177,176,112,238,178,171>>, | |
<<"v">> => <<>>}, | |
#{}]}}, | |
{set, | |
{var,10}, | |
{call,barrel_rpc_events_eqc,put_rev, | |
[{var,db1}, | |
<<202,184,70,241,179,133,128,41,48,48>>, | |
#{<<"content">> => <<238,181,185,236,143,141,217,166,112>>, | |
<<"newcontent">> => | |
<<203,185,238,171,168,123,212,183,87,91,30,69,224,177,145,238,145,178, | |
226,165,184,64,201,137,101>>}, | |
{dict,6,16,16,8,80,48, | |
{[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[]}, | |
{{[],[],[],[],[], | |
[[<<230,140,184,232,175,178,202,190,244,137,141,137,103,48>>| | |
{doc, | |
<<230,140,184,232,175,178,202,190,244,137,141,137,103,48>>, | |
[{var,5},{var,1}]}]], | |
[[<<199,171,82,207,144,202,158,230,129,178,239,172,190>>| | |
{doc, | |
<<199,171,82,207,144,202,158,230,129,178,239,172,190>>, | |
[{var,3}]}]], | |
[[<<59,241,189,182,191,241,161,139,175,200,160,233,136,144,5>>| | |
{doc, | |
<<59,241,189,182,191,241,161,139,175,200,160,233,136,144,5>>, | |
[{var,2}]}], | |
[<<228,169,178,239,187,148,24,203,179,58,109>>| | |
{doc,<<228,169,178,239,187,148,24,203,179,58,109>>,[{var,4}]}]], | |
[],[], | |
[[<<202,184,70,241,179,133,128,41,48,48>>| | |
{doc,<<202,184,70,241,179,133,128,41,48,48>>,[{var,8},{var,7}]}]], | |
[],[],[], | |
[[<<208,147,204,143,229,162,168,239,177,176,112,238,178,171>>| | |
{doc, | |
<<208,147,204,143,229,162,168,239,177,176,112,238,178,171>>, | |
[{var,9}]}]], | |
[]}}}, | |
#{},2]}}, | |
{set, | |
{var,11}, | |
{call,barrel_rpc_events_eqc,put_rev, | |
[{var,db1}, | |
<<228,169,178,239,187,148,24,203,179,58,109>>, | |
#{<<"content">> => <<"p[_">>, | |
<<"newcontent">> => | |
<<64,225,147,172,234,181,186,201,153,98,218,143,118,26,55,238,167,134, | |
212,132,52,242,161,167,183,230,177,159>>}, | |
{dict,6,16,16,8,80,48, | |
{[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[]}, | |
{{[],[],[],[],[], | |
[[<<230,140,184,232,175,178,202,190,244,137,141,137,103,48>>| | |
{doc, | |
<<230,140,184,232,175,178,202,190,244,137,141,137,103,48>>, | |
[{var,5},{var,1}]}]], | |
[[<<199,171,82,207,144,202,158,230,129,178,239,172,190>>| | |
{doc, | |
<<199,171,82,207,144,202,158,230,129,178,239,172,190>>, | |
[{var,3}]}]], | |
[[<<59,241,189,182,191,241,161,139,175,200,160,233,136,144,5>>| | |
{doc, | |
<<59,241,189,182,191,241,161,139,175,200,160,233,136,144,5>>, | |
[{var,2}]}], | |
[<<228,169,178,239,187,148,24,203,179,58,109>>| | |
{doc,<<228,169,178,239,187,148,24,203,179,58,109>>,[{var,4}]}]], | |
[],[], | |
[[<<202,184,70,241,179,133,128,41,48,48>>| | |
{doc, | |
<<202,184,70,241,179,133,128,41,48,48>>, | |
[{var,10},{var,8},{var,7}]}]], | |
[],[],[], | |
[[<<208,147,204,143,229,162,168,239,177,176,112,238,178,171>>| | |
{doc, | |
<<208,147,204,143,229,162,168,239,177,176,112,238,178,171>>, | |
[{var,9}]}]], | |
[]}}}, | |
#{},2]}}, | |
{set, | |
{var,12}, | |
{call,barrel_rpc_events_eqc,put, | |
[{var,db1}, | |
<<199,171,82,207,144,202,158,230,129,178,239,172,190>>, | |
#{<<"content">> => <<7,233,132,166,81,234,133,178>>, | |
<<"newcontent">> => | |
<<215,147,61,98,239,185,159,56,240,157,162,179,240,181,148,173,199,159, | |
238,175,160,3,78,201,158,83,80>>}, | |
#{}]}}] | |
******************************************************************************** | |
barrel_rpc_events_eqc:post(Db1, | |
#{<<105, 100>> | |
=> <<230, 140, 184, 232, 175, 178, 202, 190, 244, 137, 141, 137, | |
103, 48>>, | |
<<118>> => <<>>}, | |
#{}) -> | |
!!! {exception, | |
{'EXIT', | |
{{case_clause, {error, not_found}}, | |
[{barrel_local, update_doc, 2, | |
[{file, | |
"/home/zkessin/Documents/Kobil/es_store/_build/default/lib/barrel/src/local/barrel_local.erl"}, | |
{line, 119}]}, | |
{barrel_rpc_events_eqc, post, 3, | |
[{file, | |
"/home/zkessin/Documents/Kobil/es_store/_build/eqc/lib/es_store/eqc/barrel_rpc_events_eqc.erl"}, | |
{line, 251}]}, | |
{eqc_statem, run_commands, 2, | |
[{file, "eqc-1.41.2/src/eqc_statem.erl"}, {line, 1003}]}, | |
{barrel_rpc_events_eqc, '-prop_barrel_rpc_events_eqc/0-fun-1-', | |
1, | |
[{file, | |
"/home/zkessin/Documents/Kobil/es_store/_build/eqc/lib/es_store/eqc/barrel_rpc_events_eqc.erl"}, | |
{line, 570}]}]}}} | |
Reason: | |
exception: | |
exit({case_clause, {error, not_found}}) | |
in barrel_local:update_doc/2 (/home/zkessin/Documents/Kobil/es_store/_build/default/lib/barrel/src/local/barrel_local.erl:119) | |
barrel_rpc_events_eqc:post/3 (/home/zkessin/Documents/Kobil/es_store/_build/eqc/lib/es_store/eqc/barrel_rpc_events_eqc.erl:251) | |
eqc_statem:run_commands/2 (eqc-1.41.2/src/eqc_statem.erl:1003) | |
barrel_rpc_events_eqc:-prop_barrel_rpc_events_eqc/0-fun-1-/1 (/home/zkessin/Documents/Kobil/es_store/_build/eqc/lib/es_store/eqc/barrel_rpc_events_eqc.erl:570) | |
Shrinking x14:32:17.015 [error] ++++ es_store:post( <<"test01">>, #{<<"id">> => <<230,140,184,232,175,178,202,190,244,137,141,137,103,48>>,<<"v">> => <<>>} , #{}). | |
....14:32:17.018 [error] ++++ es_store:post( <<"test01">>, #{<<"id">> => <<0,232,175,178,202,190,244,137,141,137,103,48>>,<<"v">> => <<>>} , #{}). | |
...(7 times) | |
[{model,barrel_rpc_events_eqc}, | |
{init,{state,[{var,db1},{var,db2}], | |
0, | |
{dict,0,16,16,8,80,48, | |
{[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[]}, | |
{{[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[]}}}, | |
true,false, | |
{set,0,16,16,8,80,48, | |
{[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[]}, | |
{{[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[]}}}, | |
[]}}, | |
{set,{var,1}, | |
{call,barrel_rpc_events_eqc,post, | |
[{var,db1},#{<<"id">> => <<0,0,0,0,0,0>>,<<"v">> => <<>>},#{}]}}] | |
******************************************************************************** | |
14:32:17.018 [error] ++++ es_store:post( <<"test01">>, #{<<"id">> => <<0,0,202,190,244,137,141,137,103,48>>,<<"v">> => <<>>} , #{}). | |
barrel_rpc_events_eqc:post(Db1, | |
#{<<105, 100>> => <<0, 0, 0, 0, 0, 0>>, <<118>> => <<>>}, | |
#{}) -> | |
!!! {exception, | |
{'EXIT', | |
{{case_clause, {error, not_found}}, | |
[{barrel_local, update_doc, 2, | |
[{file, | |
"/home/zkessin/Documents/Kobil/es_store/_build/default/lib/barrel/src/local/barrel_local.erl"}, | |
{line, 119}]}, | |
{barrel_rpc_events_eqc, post, 3, | |
[{file, | |
"/home/zkessin/Documents/Kobil/es_store/_build/eqc/lib/es_store/eqc/barrel_rpc_events_eqc.erl"}, | |
{line, 251}]}, | |
{eqc_statem, run_commands, 2, | |
[{file, "eqc-1.41.2/src/eqc_statem.erl"}, {line, 1003}]}, | |
{barrel_rpc_events_eqc, '-prop_barrel_rpc_events_eqc/0-fun-1-', | |
1, | |
[{file, | |
"/home/zkessin/Documents/Kobil/es_store/_build/eqc/lib/es_store/eqc/barrel_rpc_events_eqc.erl"}, | |
{line, 570}]}]}}} | |
Reason: | |
exception: | |
exit({case_clause, {error, not_found}}) | |
in barrel_local:update_doc/2 (/home/zkessin/Documents/Kobil/es_store/_build/default/lib/barrel/src/local/barrel_local.erl:119) | |
barrel_rpc_events_eqc:post/3 (/home/zkessin/Documents/Kobil/es_store/_build/eqc/lib/es_store/eqc/barrel_rpc_events_eqc.erl:251) | |
eqc_statem:run_commands/2 (eqc-1.41.2/src/eqc_statem.erl:1003) | |
barrel_rpc_events_eqc:-prop_barrel_rpc_events_eqc/0-fun-1-/1 (/home/zkessin/Documents/Kobil/es_store/_build/eqc/lib/es_store/eqc/barrel_rpc_events_eqc.erl:570) | |
14:32:17.019 [error] ++++ es_store:post( <<"test01">>, #{<<"id">> => <<0,0,0,244,137,141,137,103,48>>,<<"v">> => <<>>} , #{}). | |
14:32:17.019 [error] ++++ es_store:post( <<"test01">>, #{<<"id">> => <<0,0,0,0,103,48>>,<<"v">> => <<>>} , #{}). | |
** exception error: no match of right hand side value [prop_barrel_rpc_events_eqc] | |
in function user_default:eqc/1 (/home/zkessin/Documents/Kobil/es_store/_build/eqc/lib/es_store/eqc/user_default.erl, line 24) | |
(es_store@localhost)4> 14:32:17.020 [error] ++++ es_store:post( <<"test01">>, #{<<"id">> => <<0,0,0,0,0,48>>,<<"v">> => <<>>} , #{}). | |
(es_store@localhost)4> 14:32:17.021 [error] ++++ es_store:post( <<"test01">>, #{<<"id">> => <<0,0,0,0,0,0>>,<<"v">> => <<>>} , #{}). | |
(es_store@localhost)4> |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment