Skip to content

Instantly share code, notes, and snippets.

@zkessin

zkessin/*es_address_book*.txt

Created December 11, 2017 10:44
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save zkessin/c5d7fa147a75229512b21e965d63b23b to your computer and use it in GitHub Desktop.
Save zkessin/c5d7fa147a75229512b21e965d63b23b to your computer and use it in GitHub Desktop.
Download ZIP
Raw
*es_address_book*.txt
w
506 es_address_book -> !!
make eqcshell
===> Verifying dependencies...
===> Skipping es_types (from {git,"git@gitlab.eco.kobil.com:ecoservers/es_types.git",
{branch,"master"}}) as an app of the same name has already been fetched
===> Skipping jsx (from {git,"git@gitlab.eco.kobil.com:ecoservers/erl_jsx.git",
{tag,"ecoservers"}}) as an app of the same name has already been fetched
===> Skipping lager (from {git,"git@gitlab.eco.kobil.com:ecoservers/erl_lager.git",
{tag,"ecoservers-v2"}}) as an app of the same name has already been fetched
===> Skipping backoff (from {pkg,<<"backoff">>,<<"1.1.3">>,
<<"DE762C05ED6DFAE862D83DC9E58AE936792B01302B3595F5CFFE86F2D8E6C1DD">>}) as an app of the same name has already been fetched
===> Skipping es_access_token (from {git,
"git@gitlab.eco.kobil.com:ecoservers/es_access_token.git",
{branch,"master"}}) as an app of the same name has already been fetched
===> Skipping jsx (from {git,"git@gitlab.eco.kobil.com:ecoservers/erl_jsx.git",
{tag,"ecoservers"}}) as an app of the same name has already been fetched
===> Skipping jsx (from {git,"git@gitlab.eco.kobil.com:ecoservers/erl_jsx.git",
{tag,"ecoservers"}}) as an app of the same name has already been fetched
===> Skipping lager (from {pkg,<<"lager">>,<<"3.2.4">>,
<<"A6DEB74DAE7927F46BD13255268308EF03EB206EC784A94EAF7C1C0F3B811615">>}) as an app of the same name has already been fetched
===> Skipping lager (from {git,"git@gitlab.eco.kobil.com:ecoservers/erl_lager.git",
{tag,"ecoservers-v2"}}) as an app of the same name has already been fetched
===> Skipping lager (from {git,"git@gitlab.eco.kobil.com:ecoservers/erl_lager.git",
{tag,"ecoservers-v2"}}) as an app of the same name has already been fetched
===> Skipping lager (from {git,"git://github.com/basho/lager",
{branch,"master"}}) as an app of the same name has already been fetched
===> Skipping prometheus (from {pkg,<<"prometheus">>,<<"3.4.4">>,
<<"69E969F1D12A441D02B598C9D5CE8839AD34C955E667DCE4B246844510682242">>}) as an app of the same name has already been fetched
===> Skipping es_webserver (from {git,"git@gitlab.eco.kobil.com:ecoservers/es_webserver.git",
{branch,"master"}}) as an app of the same name has already been fetched
===> Skipping jsx (from {git,"git@10.21.101.30:ecoservers/erl_jsx.git",
{tag,"ecoservers"}}) as an app of the same name has already been fetched
===> Skipping lager (from {git,"git@10.21.101.30:ecoservers/erl_lager.git",
{tag,"ecoservers-v2"}}) as an app of the same name has already been fetched
===> Skipping lager (from {git,"git@gitlab.eco.kobil.com:ecoservers/erl_lager.git",
{tag,"ecoservers-v2"}}) as an app of the same name has already been fetched
===> Skipping lager_syslog (from {git,"https://github.com/basho/lager_syslog.git",
{tag,"3.0.1"}}) as an app of the same name has already been fetched
===> Skipping uuid (from {pkg,<<"uuid_erl">>,<<"1.7.2">>,
<<"D596C8DD01A4AE48B9D8D51832CCC8F8302BF67ACD01336AEC3FCFAE6B9D2BC2">>}) as an app of the same name has already been fetched
===> Skipping cowlib (from {git,"https://github.com/ninenines/cowlib",
"master"}) as an app of the same name has already been fetched
===> Skipping jsx (from {pkg,<<"jsx">>,<<"2.8.1">>,
<<"1453B4EB3615ACB3E2CD0A105D27E6761E2ED2E501AC0B390F5BBEC497669846">>}) as an app of the same name has already been fetched
===> Skipping jsx (from {pkg,<<"jsx">>,<<"2.8.1">>,
<<"1453B4EB3615ACB3E2CD0A105D27E6761E2ED2E501AC0B390F5BBEC497669846">>}) as an app of the same name has already been fetched
===> Skipping jsx (from {git,"git://github.com/talentdeficit/jsx.git",
{tag,"2.8.0"}}) as an app of the same name has already been fetched
===> Skipping lager (from {pkg,<<"lager">>,<<"3.2.4">>,
<<"A6DEB74DAE7927F46BD13255268308EF03EB206EC784A94EAF7C1C0F3B811615">>}) as an app of the same name has already been fetched
===> Skipping prometheus (from {pkg,<<"prometheus">>,<<"3.4.1">>,
<<"90C4F37670C4DC7DE9319A0C310BF12CB619715EBE285F583F3B46D955EE8F81">>}) as an app of the same name has already been fetched
===> Skipping prometheus (from {pkg,<<"prometheus">>,<<"3.4.5">>,
<<"CA3C3E50EBCCCC615593ADB3EBB1DE813FCC5412D6DB33D0B546A76322C2D316">>}) as an app of the same name has already been fetched
===> Skipping prometheus (from {pkg,<<"prometheus">>,<<"3.4.5">>,
<<"CA3C3E50EBCCCC615593ADB3EBB1DE813FCC5412D6DB33D0B546A76322C2D316">>}) as an app of the same name has already been fetched
===> Skipping prometheus_httpd (from {pkg,<<"prometheus_httpd">>,<<"2.1.8">>,
<<"8F4B83712FCFF5870F1B6664E6FA4F1C2EE2C72729FB04D46445C77DE65802F6">>}) as an app of the same name has already been fetched
===> Skipping prometheus_httpd (from {pkg,<<"prometheus_httpd">>,<<"2.1.8">>,
<<"8F4B83712FCFF5870F1B6664E6FA4F1C2EE2C72729FB04D46445C77DE65802F6">>}) as an app of the same name has already been fetched
===> Skipping ranch (from {git,"https://github.com/ninenines/ranch","1.4.0"}) as an app of the same name has already been fetched
===> Skipping uuid (from {pkg,<<"uuid_erl">>,<<"1.7.2">>,
<<"D596C8DD01A4AE48B9D8D51832CCC8F8302BF67ACD01336AEC3FCFAE6B9D2BC2">>}) as an app of the same name has already been fetched
===> Skipping opencensus (from {git,
"https://github.com/deadtrickster/opencensus-erlang",
{ref,
"7e248db230955fb3c441627dd2c7375aa67eb5a5"}}) as an app of the same name has already been fetched
===> Skipping prometheus (from {pkg,<<"prometheus">>,<<"3.4.1">>,
<<"90C4F37670C4DC7DE9319A0C310BF12CB619715EBE285F583F3B46D955EE8F81">>}) as an app of the same name has already been fetched
===> Skipping rfc3339 (from {pkg,<<"rfc3339">>,<<"0.9.0">>,
<<"2075653DC9407541C84B1E15F8BDA2ABE95FB17C9694025E079583F2D19C1060">>}) as an app of the same name has already been fetched
===> Compiling es_address_book
===> Compiling eqc_test/es_abs_flow_eqc.erl failed
eqc_test/es_abs_flow_eqc.erl:68: head mismatch
eqc_test/es_abs_flow_eqc.erl:68: skipping eqc_statem preprocessing due to errors
make: *** [eqcshell] Error 1
507 es_address_book -> !!
make eqcshell
===> Verifying dependencies...
===> Skipping es_types (from {git,"git@gitlab.eco.kobil.com:ecoservers/es_types.git",
{branch,"master"}}) as an app of the same name has already been fetched
===> Skipping jsx (from {git,"git@gitlab.eco.kobil.com:ecoservers/erl_jsx.git",
{tag,"ecoservers"}}) as an app of the same name has already been fetched
===> Skipping lager (from {git,"git@gitlab.eco.kobil.com:ecoservers/erl_lager.git",
{tag,"ecoservers-v2"}}) as an app of the same name has already been fetched
===> Skipping backoff (from {pkg,<<"backoff">>,<<"1.1.3">>,
<<"DE762C05ED6DFAE862D83DC9E58AE936792B01302B3595F5CFFE86F2D8E6C1DD">>}) as an app of the same name has already been fetched
===> Skipping es_access_token (from {git,
"git@gitlab.eco.kobil.com:ecoservers/es_access_token.git",
{branch,"master"}}) as an app of the same name has already been fetched
===> Skipping jsx (from {git,"git@gitlab.eco.kobil.com:ecoservers/erl_jsx.git",
{tag,"ecoservers"}}) as an app of the same name has already been fetched
===> Skipping jsx (from {git,"git@gitlab.eco.kobil.com:ecoservers/erl_jsx.git",
{tag,"ecoservers"}}) as an app of the same name has already been fetched
===> Skipping lager (from {pkg,<<"lager">>,<<"3.2.4">>,
<<"A6DEB74DAE7927F46BD13255268308EF03EB206EC784A94EAF7C1C0F3B811615">>}) as an app of the same name has already been fetched
===> Skipping lager (from {git,"git@gitlab.eco.kobil.com:ecoservers/erl_lager.git",
{tag,"ecoservers-v2"}}) as an app of the same name has already been fetched
===> Skipping lager (from {git,"git@gitlab.eco.kobil.com:ecoservers/erl_lager.git",
{tag,"ecoservers-v2"}}) as an app of the same name has already been fetched
===> Skipping lager (from {git,"git://github.com/basho/lager",
{branch,"master"}}) as an app of the same name has already been fetched
===> Skipping prometheus (from {pkg,<<"prometheus">>,<<"3.4.4">>,
<<"69E969F1D12A441D02B598C9D5CE8839AD34C955E667DCE4B246844510682242">>}) as an app of the same name has already been fetched
===> Skipping es_webserver (from {git,"git@gitlab.eco.kobil.com:ecoservers/es_webserver.git",
{branch,"master"}}) as an app of the same name has already been fetched
===> Skipping jsx (from {git,"git@10.21.101.30:ecoservers/erl_jsx.git",
{tag,"ecoservers"}}) as an app of the same name has already been fetched
===> Skipping lager (from {git,"git@10.21.101.30:ecoservers/erl_lager.git",
{tag,"ecoservers-v2"}}) as an app of the same name has already been fetched
===> Skipping lager (from {git,"git@gitlab.eco.kobil.com:ecoservers/erl_lager.git",
{tag,"ecoservers-v2"}}) as an app of the same name has already been fetched
===> Skipping lager_syslog (from {git,"https://github.com/basho/lager_syslog.git",
{tag,"3.0.1"}}) as an app of the same name has already been fetched
===> Skipping uuid (from {pkg,<<"uuid_erl">>,<<"1.7.2">>,
<<"D596C8DD01A4AE48B9D8D51832CCC8F8302BF67ACD01336AEC3FCFAE6B9D2BC2">>}) as an app of the same name has already been fetched
===> Skipping cowlib (from {git,"https://github.com/ninenines/cowlib",
"master"}) as an app of the same name has already been fetched
===> Skipping jsx (from {pkg,<<"jsx">>,<<"2.8.1">>,
<<"1453B4EB3615ACB3E2CD0A105D27E6761E2ED2E501AC0B390F5BBEC497669846">>}) as an app of the same name has already been fetched
===> Skipping jsx (from {pkg,<<"jsx">>,<<"2.8.1">>,
<<"1453B4EB3615ACB3E2CD0A105D27E6761E2ED2E501AC0B390F5BBEC497669846">>}) as an app of the same name has already been fetched
===> Skipping jsx (from {git,"git://github.com/talentdeficit/jsx.git",
{tag,"2.8.0"}}) as an app of the same name has already been fetched
===> Skipping lager (from {pkg,<<"lager">>,<<"3.2.4">>,
<<"A6DEB74DAE7927F46BD13255268308EF03EB206EC784A94EAF7C1C0F3B811615">>}) as an app of the same name has already been fetched
===> Skipping prometheus (from {pkg,<<"prometheus">>,<<"3.4.1">>,
<<"90C4F37670C4DC7DE9319A0C310BF12CB619715EBE285F583F3B46D955EE8F81">>}) as an app of the same name has already been fetched
===> Skipping prometheus (from {pkg,<<"prometheus">>,<<"3.4.5">>,
<<"CA3C3E50EBCCCC615593ADB3EBB1DE813FCC5412D6DB33D0B546A76322C2D316">>}) as an app of the same name has already been fetched
===> Skipping prometheus (from {pkg,<<"prometheus">>,<<"3.4.5">>,
<<"CA3C3E50EBCCCC615593ADB3EBB1DE813FCC5412D6DB33D0B546A76322C2D316">>}) as an app of the same name has already been fetched
===> Skipping prometheus_httpd (from {pkg,<<"prometheus_httpd">>,<<"2.1.8">>,
<<"8F4B83712FCFF5870F1B6664E6FA4F1C2EE2C72729FB04D46445C77DE65802F6">>}) as an app of the same name has already been fetched
===> Skipping prometheus_httpd (from {pkg,<<"prometheus_httpd">>,<<"2.1.8">>,
<<"8F4B83712FCFF5870F1B6664E6FA4F1C2EE2C72729FB04D46445C77DE65802F6">>}) as an app of the same name has already been fetched
===> Skipping ranch (from {git,"https://github.com/ninenines/ranch","1.4.0"}) as an app of the same name has already been fetched
===> Skipping uuid (from {pkg,<<"uuid_erl">>,<<"1.7.2">>,
<<"D596C8DD01A4AE48B9D8D51832CCC8F8302BF67ACD01336AEC3FCFAE6B9D2BC2">>}) as an app of the same name has already been fetched
===> Skipping opencensus (from {git,
"https://github.com/deadtrickster/opencensus-erlang",
{ref,
"7e248db230955fb3c441627dd2c7375aa67eb5a5"}}) as an app of the same name has already been fetched
===> Skipping prometheus (from {pkg,<<"prometheus">>,<<"3.4.1">>,
<<"90C4F37670C4DC7DE9319A0C310BF12CB619715EBE285F583F3B46D955EE8F81">>}) as an app of the same name has already been fetched
===> Skipping rfc3339 (from {pkg,<<"rfc3339">>,<<"0.9.0">>,
<<"2075653DC9407541C84B1E15F8BDA2ABE95FB17C9694025E079583F2D19C1060">>}) as an app of the same name has already been fetched
===> Compiling es_address_book
=INFO REPORT==== 11-Dec-2017::12:43:41 ===
Protocol 'inet_tcp': register/listen error: econnrefused
===> Erlang Distribution failed, falling back to nonode@nohost. Verify that epmd is running and try again.
Eshell V9.1.3 (abort with ^G)
1> Starting Sync (Automatic Code Compiler / Reloader)
1> Scanning source files...
1> ===> The rebar3 shell is a development tool; to deploy applications in production, consider using releases (http://www.rebar3.org/v3.0/docs/releases)
1> 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,12,11},{12,50,8}}
prop_sequential_flow: ..........Failed! After 10 tests.
[{model,es_abs_flow_eqc},
{init,{state,[]}},
{set,{var,1},
{call,es_abs_flow_eqc,create_user,
[#{<<"ecoId">> => <<"ded772f7-06bc-493c-8249-b61d52c94efa">>,
<<"userId">> => <<"e604604b-2593-42db-9748-c2bca4696aec">>},
#{<<"userType">> => <<"person">>}]}},
{set,{var,2},
{call,es_abs_flow_eqc,get_user,
[#{<<"ecoId">> => <<"ded772f7-06bc-493c-8249-b61d52c94efa">>,
<<"userId">> => <<"e604604b-2593-42db-9748-c2bca4696aec">>}]}},
{set,{var,3},
{call,es_abs_flow_eqc,get_user,
[#{<<"ecoId">> => <<"ded772f7-06bc-493c-8249-b61d52c94efa">>,
<<"userId">> => <<"e604604b-2593-42db-9748-c2bca4696aec">>}]}},
{set,{var,4},
{call,es_abs_flow_eqc,create_user,
[#{<<"ecoId">> => <<"069b5ce3-802e-49b2-9e15-8928f5003c57">>,
<<"userId">> => <<"2d96ff0d-6120-4506-be4f-c05facf3947a">>},
#{<<"userType">> => <<"person">>}]}},
{set,{var,5},
{call,es_abs_flow_eqc,get_user,
[#{<<"ecoId">> => <<"ded772f7-06bc-493c-8249-b61d52c94efa">>,
<<"userId">> => <<"e604604b-2593-42db-9748-c2bca4696aec">>}]}},
{set,{var,6},
{call,es_abs_flow_eqc,get_user,
[#{<<"ecoId">> => <<"ded772f7-06bc-493c-8249-b61d52c94efa">>,
<<"userId">> => <<"e604604b-2593-42db-9748-c2bca4696aec">>}]}},
{set,{var,7},
{call,es_abs_flow_eqc,get_user,
[#{<<"ecoId">> => <<"ded772f7-06bc-493c-8249-b61d52c94efa">>,
<<"userId">> => <<"e604604b-2593-42db-9748-c2bca4696aec">>}]}},
{set,{var,8},
{call,es_abs_flow_eqc,create_user,
[#{<<"ecoId">> => <<"acff9339-dfe5-4eff-b5e6-766b07e1fb9a">>,
<<"userId">> => <<"4dc1679f-16bc-469f-8ead-af8dc8844efb">>},
#{<<"userType">> => <<"person">>}]}},
{set,{var,9},
{call,es_abs_flow_eqc,create_user,
[#{<<"ecoId">> => <<"72f88147-1c0b-4b73-bd46-3f78fd20e31a">>,
<<"userId">> => <<"1cf503a2-3157-42df-91b5-26fe0ffbfa4b">>},
#{<<"userType">> => <<"person">>}]}},
{set,{var,10},
{call,es_abs_flow_eqc,get_user,
[#{<<"ecoId">> => <<"72f88147-1c0b-4b73-bd46-3f78fd20e31a">>,
<<"userId">> => <<"1cf503a2-3157-42df-91b5-26fe0ffbfa4b">>}]}},
{set,{var,11},
{call,es_abs_flow_eqc,create_user,
[#{<<"ecoId">> => <<"63f194ac-3380-4599-a2cc-36371935dd2e">>,
<<"userId">> => <<"413ca3fd-1ea7-4831-87aa-39823b060fb5">>},
#{<<"userType">> => <<"person">>}]}},
{set,{var,12},
{call,es_abs_flow_eqc,create_user,
[#{<<"ecoId">> => <<"4b83d280-ae28-4c5f-8892-22b3235045b0">>,
<<"userId">> => <<"f6936cb2-d204-4024-9f63-2e26b2b2e39b">>},
#{<<"userType">> => <<"person">>}]}},
{set,{var,13},
{call,es_abs_flow_eqc,create_user,
[#{<<"ecoId">> => <<"27afc7fd-233e-4ed1-bf91-b5f33df77603">>,
<<"userId">> => <<"7302df6d-59dc-4bf9-8d60-1aeceeb92c09">>},
#{<<"userType">> => <<"person">>}]}},
{set,{var,14},
{call,es_abs_flow_eqc,get_user,
[#{<<"ecoId">> => <<"069b5ce3-802e-49b2-9e15-8928f5003c57">>,
<<"userId">> => <<"2d96ff0d-6120-4506-be4f-c05facf3947a">>}]}},
{set,{var,15},
{call,es_abs_flow_eqc,get_user,
[#{<<"ecoId">> => <<"27afc7fd-233e-4ed1-bf91-b5f33df77603">>,
<<"userId">> => <<"7302df6d-59dc-4bf9-8d60-1aeceeb92c09">>}]}},
{set,{var,16},
{call,es_abs_flow_eqc,create_user,
[#{<<"ecoId">> => <<"a4810e24-b736-4192-8a7c-61a32cfb8b97">>,
<<"userId">> => <<"23cde243-0a32-473b-908a-d1a3cca2e71a">>},
#{<<"userType">> => <<"person">>}]}},
{set,{var,17},
{call,es_abs_flow_eqc,get_user,
[#{<<"ecoId">> => <<"acff9339-dfe5-4eff-b5e6-766b07e1fb9a">>,
<<"userId">> => <<"4dc1679f-16bc-469f-8ead-af8dc8844efb">>}]}},
{set,{var,18},
{call,es_abs_flow_eqc,get_user,
[#{<<"ecoId">> => <<"27afc7fd-233e-4ed1-bf91-b5f33df77603">>,
<<"userId">> => <<"7302df6d-59dc-4bf9-8d60-1aeceeb92c09">>}]}},
{set,{var,19},
{call,es_abs_flow_eqc,create_user,
[#{<<"ecoId">> => <<"e6c8c816-cbfc-45f9-84fa-8ad459b4ffd9">>,
<<"userId">> => <<"711302ba-acff-431c-b5c6-82c4417e9ddf">>},
#{<<"userType">> => <<"person">>}]}},
{set,{var,20},
{call,es_abs_flow_eqc,create_user,
[#{<<"ecoId">> => <<"85afa314-e2ae-40db-839c-99cf0149c3cf">>,
<<"userId">> => <<"31501381-b2dd-483b-a87f-8b2f1f3ddec0">>},
#{<<"userType">> => <<"person">>}]}},
{set,{var,21},
{call,es_abs_flow_eqc,create_user,
[#{<<"ecoId">> => <<"61185fff-18c3-4dc8-9085-055b4788cb43">>,
<<"userId">> => <<"25782429-1bf7-41a0-93c8-5eb272666ff4">>},
#{<<"userType">> => <<"person">>}]}},
{set,{var,22},
{call,es_abs_flow_eqc,get_user,
[#{<<"ecoId">> => <<"ded772f7-06bc-493c-8249-b61d52c94efa">>,
<<"userId">> => <<"e604604b-2593-42db-9748-c2bca4696aec">>}]}}]
es_abs_flow_eqc:create_user(#{<<101, 99, 111, 73, 100>>
=> <<100, 101, 100, 55, 55, 50, 102, 55, 45, 48, 54, 98, 99, 45,
52, 57, 51, 99, 45, 56, 50, 52, 57, 45, 98, 54, 49, 100, 53, 50,
99, 57, 52, 101, 102, 97>>,
<<117, 115, 101, 114, 73, 100>>
=> <<101, 54, 48, 52, 54, 48, 52, 98, 45, 50, 53, 57, 51, 45, 52,
50, 100, 98, 45, 57, 55, 52, 56, 45, 99, 50, 98, 99, 97, 52, 54,
57, 54, 97, 101, 99>>},
#{<<117, 115, 101, 114, 84, 121, 112, 101>>
=> <<112, 101, 114, 115, 111, 110>>}) ->
{#{<<101, 99, 111, 73, 100>>
=> <<100, 101, 100, 55, 55, 50, 102, 55, 45, 48, 54, 98, 99, 45,
52, 57, 51, 99, 45, 56, 50, 52, 57, 45, 98, 54, 49, 100, 53, 50,
99, 57, 52, 101, 102, 97>>,
<<117, 115, 101, 114, 73, 100>>
=> <<101, 54, 48, 52, 54, 48, 52, 98, 45, 50, 53, 57, 51, 45, 52,
50, 100, 98, 45, 57, 55, 52, 56, 45, 99, 50, 98, 99, 97, 52, 54,
57, 54, 97, 101, 99>>},
#{<<117, 115, 101, 114, 84, 121, 112, 101>>
=> <<112, 101, 114, 115, 111, 110>>}}
es_abs_flow_eqc:get_user(#{<<101, 99, 111, 73, 100>>
=> <<100, 101, 100, 55, 55, 50, 102, 55, 45, 48, 54, 98, 99, 45,
52, 57, 51, 99, 45, 56, 50, 52, 57, 45, 98, 54, 49, 100, 53, 50,
99, 57, 52, 101, 102, 97>>,
<<117, 115, 101, 114, 73, 100>>
=> <<101, 54, 48, 52, 54, 48, 52, 98, 45, 50, 53, 57, 51, 45, 52,
50, 100, 98, 45, 57, 55, 52, 56, 45, 99, 50, 98, 99, 97, 52, 54,
57, 54, 97, 101, 99>>}) ->
true
es_abs_flow_eqc:get_user(#{<<101, 99, 111, 73, 100>>
=> <<100, 101, 100, 55, 55, 50, 102, 55, 45, 48, 54, 98, 99, 45,
52, 57, 51, 99, 45, 56, 50, 52, 57, 45, 98, 54, 49, 100, 53, 50,
99, 57, 52, 101, 102, 97>>,
<<117, 115, 101, 114, 73, 100>>
=> <<101, 54, 48, 52, 54, 48, 52, 98, 45, 50, 53, 57, 51, 45, 52,
50, 100, 98, 45, 57, 55, 52, 56, 45, 99, 50, 98, 99, 97, 52, 54,
57, 54, 97, 101, 99>>}) ->
true
es_abs_flow_eqc:create_user(#{<<101, 99, 111, 73, 100>>
=> <<48, 54, 57, 98, 53, 99, 101, 51, 45, 56, 48, 50, 101, 45,
52, 57, 98, 50, 45, 57, 101, 49, 53, 45, 56, 57, 50, 56, 102, 53,
48, 48, 51, 99, 53, 55>>,
<<117, 115, 101, 114, 73, 100>>
=> <<50, 100, 57, 54, 102, 102, 48, 100, 45, 54, 49, 50, 48, 45,
52, 53, 48, 54, 45, 98, 101, 52, 102, 45, 99, 48, 53, 102, 97,
99, 102, 51, 57, 52, 55, 97>>},
#{<<117, 115, 101, 114, 84, 121, 112, 101>>
=> <<112, 101, 114, 115, 111, 110>>}) ->
{#{<<101, 99, 111, 73, 100>>
=> <<48, 54, 57, 98, 53, 99, 101, 51, 45, 56, 48, 50, 101, 45,
52, 57, 98, 50, 45, 57, 101, 49, 53, 45, 56, 57, 50, 56, 102, 53,
48, 48, 51, 99, 53, 55>>,
<<117, 115, 101, 114, 73, 100>>
=> <<50, 100, 57, 54, 102, 102, 48, 100, 45, 54, 49, 50, 48, 45,
52, 53, 48, 54, 45, 98, 101, 52, 102, 45, 99, 48, 53, 102, 97,
99, 102, 51, 57, 52, 55, 97>>},
#{<<117, 115, 101, 114, 84, 121, 112, 101>>
=> <<112, 101, 114, 115, 111, 110>>}}
es_abs_flow_eqc:get_user(#{<<101, 99, 111, 73, 100>>
=> <<100, 101, 100, 55, 55, 50, 102, 55, 45, 48, 54, 98, 99, 45,
52, 57, 51, 99, 45, 56, 50, 52, 57, 45, 98, 54, 49, 100, 53, 50,
99, 57, 52, 101, 102, 97>>,
<<117, 115, 101, 114, 73, 100>>
=> <<101, 54, 48, 52, 54, 48, 52, 98, 45, 50, 53, 57, 51, 45, 52,
50, 100, 98, 45, 57, 55, 52, 56, 45, 99, 50, 98, 99, 97, 52, 54,
57, 54, 97, 101, 99>>}) ->
true
es_abs_flow_eqc:get_user(#{<<101, 99, 111, 73, 100>>
=> <<100, 101, 100, 55, 55, 50, 102, 55, 45, 48, 54, 98, 99, 45,
52, 57, 51, 99, 45, 56, 50, 52, 57, 45, 98, 54, 49, 100, 53, 50,
99, 57, 52, 101, 102, 97>>,
<<117, 115, 101, 114, 73, 100>>
=> <<101, 54, 48, 52, 54, 48, 52, 98, 45, 50, 53, 57, 51, 45, 52,
50, 100, 98, 45, 57, 55, 52, 56, 45, 99, 50, 98, 99, 97, 52, 54,
57, 54, 97, 101, 99>>}) ->
true
es_abs_flow_eqc:get_user(#{<<101, 99, 111, 73, 100>>
=> <<100, 101, 100, 55, 55, 50, 102, 55, 45, 48, 54, 98, 99, 45,
52, 57, 51, 99, 45, 56, 50, 52, 57, 45, 98, 54, 49, 100, 53, 50,
99, 57, 52, 101, 102, 97>>,
<<117, 115, 101, 114, 73, 100>>
=> <<101, 54, 48, 52, 54, 48, 52, 98, 45, 50, 53, 57, 51, 45, 52,
50, 100, 98, 45, 57, 55, 52, 56, 45, 99, 50, 98, 99, 97, 52, 54,
57, 54, 97, 101, 99>>}) ->
true
es_abs_flow_eqc:create_user(#{<<101, 99, 111, 73, 100>>
=> <<97, 99, 102, 102, 57, 51, 51, 57, 45, 100, 102, 101, 53, 45,
52, 101, 102, 102, 45, 98, 53, 101, 54, 45, 55, 54, 54, 98, 48,
55, 101, 49, 102, 98, 57, 97>>,
<<117, 115, 101, 114, 73, 100>>
=> <<52, 100, 99, 49, 54, 55, 57, 102, 45, 49, 54, 98, 99, 45,
52, 54, 57, 102, 45, 56, 101, 97, 100, 45, 97, 102, 56, 100, 99,
56, 56, 52, 52, 101, 102, 98>>},
#{<<117, 115, 101, 114, 84, 121, 112, 101>>
=> <<112, 101, 114, 115, 111, 110>>}) ->
{#{<<101, 99, 111, 73, 100>>
=> <<97, 99, 102, 102, 57, 51, 51, 57, 45, 100, 102, 101, 53, 45,
52, 101, 102, 102, 45, 98, 53, 101, 54, 45, 55, 54, 54, 98, 48,
55, 101, 49, 102, 98, 57, 97>>,
<<117, 115, 101, 114, 73, 100>>
=> <<52, 100, 99, 49, 54, 55, 57, 102, 45, 49, 54, 98, 99, 45,
52, 54, 57, 102, 45, 56, 101, 97, 100, 45, 97, 102, 56, 100, 99,
56, 56, 52, 52, 101, 102, 98>>},
#{<<117, 115, 101, 114, 84, 121, 112, 101>>
=> <<112, 101, 114, 115, 111, 110>>}}
es_abs_flow_eqc:create_user(#{<<101, 99, 111, 73, 100>>
=> <<55, 50, 102, 56, 56, 49, 52, 55, 45, 49, 99, 48, 98, 45, 52,
98, 55, 51, 45, 98, 100, 52, 54, 45, 51, 102, 55, 56, 102, 100,
50, 48, 101, 51, 49, 97>>,
<<117, 115, 101, 114, 73, 100>>
=> <<49, 99, 102, 53, 48, 51, 97, 50, 45, 51, 49, 53, 55, 45, 52,
50, 100, 102, 45, 57, 49, 98, 53, 45, 50, 54, 102, 101, 48, 102,
102, 98, 102, 97, 52, 98>>},
#{<<117, 115, 101, 114, 84, 121, 112, 101>>
=> <<112, 101, 114, 115, 111, 110>>}) ->
{#{<<101, 99, 111, 73, 100>>
=> <<55, 50, 102, 56, 56, 49, 52, 55, 45, 49, 99, 48, 98, 45, 52,
98, 55, 51, 45, 98, 100, 52, 54, 45, 51, 102, 55, 56, 102, 100,
50, 48, 101, 51, 49, 97>>,
<<117, 115, 101, 114, 73, 100>>
=> <<49, 99, 102, 53, 48, 51, 97, 50, 45, 51, 49, 53, 55, 45, 52,
50, 100, 102, 45, 57, 49, 98, 53, 45, 50, 54, 102, 101, 48, 102,
102, 98, 102, 97, 52, 98>>},
#{<<117, 115, 101, 114, 84, 121, 112, 101>>
=> <<112, 101, 114, 115, 111, 110>>}}
es_abs_flow_eqc:get_user(#{<<101, 99, 111, 73, 100>>
=> <<55, 50, 102, 56, 56, 49, 52, 55, 45, 49, 99, 48, 98, 45, 52,
98, 55, 51, 45, 98, 100, 52, 54, 45, 51, 102, 55, 56, 102, 100,
50, 48, 101, 51, 49, 97>>,
<<117, 115, 101, 114, 73, 100>>
=> <<49, 99, 102, 53, 48, 51, 97, 50, 45, 51, 49, 53, 55, 45, 52,
50, 100, 102, 45, 57, 49, 98, 53, 45, 50, 54, 102, 101, 48, 102,
102, 98, 102, 97, 52, 98>>}) ->
true
es_abs_flow_eqc:create_user(#{<<101, 99, 111, 73, 100>>
=> <<54, 51, 102, 49, 57, 52, 97, 99, 45, 51, 51, 56, 48, 45, 52,
53, 57, 57, 45, 97, 50, 99, 99, 45, 51, 54, 51, 55, 49, 57, 51,
53, 100, 100, 50, 101>>,
<<117, 115, 101, 114, 73, 100>>
=> <<52, 49, 51, 99, 97, 51, 102, 100, 45, 49, 101, 97, 55, 45,
52, 56, 51, 49, 45, 56, 55, 97, 97, 45, 51, 57, 56, 50, 51, 98,
48, 54, 48, 102, 98, 53>>},
#{<<117, 115, 101, 114, 84, 121, 112, 101>>
=> <<112, 101, 114, 115, 111, 110>>}) ->
{#{<<101, 99, 111, 73, 100>>
=> <<54, 51, 102, 49, 57, 52, 97, 99, 45, 51, 51, 56, 48, 45, 52,
53, 57, 57, 45, 97, 50, 99, 99, 45, 51, 54, 51, 55, 49, 57, 51,
53, 100, 100, 50, 101>>,
<<117, 115, 101, 114, 73, 100>>
=> <<52, 49, 51, 99, 97, 51, 102, 100, 45, 49, 101, 97, 55, 45,
52, 56, 51, 49, 45, 56, 55, 97, 97, 45, 51, 57, 56, 50, 51, 98,
48, 54, 48, 102, 98, 53>>},
#{<<117, 115, 101, 114, 84, 121, 112, 101>>
=> <<112, 101, 114, 115, 111, 110>>}}
es_abs_flow_eqc:create_user(#{<<101, 99, 111, 73, 100>>
=> <<52, 98, 56, 51, 100, 50, 56, 48, 45, 97, 101, 50, 56, 45,
52, 99, 53, 102, 45, 56, 56, 57, 50, 45, 50, 50, 98, 51, 50, 51,
53, 48, 52, 53, 98, 48>>,
<<117, 115, 101, 114, 73, 100>>
=> <<102, 54, 57, 51, 54, 99, 98, 50, 45, 100, 50, 48, 52, 45,
52, 48, 50, 52, 45, 57, 102, 54, 51, 45, 50, 101, 50, 54, 98, 50,
98, 50, 101, 51, 57, 98>>},
#{<<117, 115, 101, 114, 84, 121, 112, 101>>
=> <<112, 101, 114, 115, 111, 110>>}) ->
!!! {exception,
{'EXIT',
{{error, {closed, "The connection was lost."}},
[{es_client, await_response, 2,
[{file,
"/Users/zkessin/Documents/Kobil/es_address_book/_build/test+eqc/lib/es_client/src/es_client.erl"},
{line, 1686}]},
{es_client, request, 3,
[{file,
"/Users/zkessin/Documents/Kobil/es_address_book/_build/test+eqc/lib/es_client/src/es_client.erl"},
{line, 1605}]},
{es_client, do_put, 6,
[{file,
"/Users/zkessin/Documents/Kobil/es_address_book/_build/test+eqc/lib/es_client/src/es_client.erl"},
{line, 1452}]},
{es_client, put_user, 4,
[{file,
"/Users/zkessin/Documents/Kobil/es_address_book/_build/test+eqc/lib/es_client/src/es_client.erl"},
{line, 779}]},
{es_abs_flow_eqc, create_user, 2,
[{file,
"/Users/zkessin/Documents/Kobil/es_address_book/_build/test+eqc/lib/es_address_book/eqc_test/es_abs_flow_eqc.erl"},
{line, 45}]},
{eqc_statem, run_commands, 1,
[{file, "eqc-1.41.2/src/eqc_statem.erl"}, {line, 986}]}]}}}
Reason:
exception:
exit({error, {closed, "The connection was lost."}})
in es_client:await_response/2 (/Users/zkessin/Documents/Kobil/es_address_book/_build/test+eqc/lib/es_client/src/es_client.erl:1686)
es_client:request/3 (/Users/zkessin/Documents/Kobil/es_address_book/_build/test+eqc/lib/es_client/src/es_client.erl:1605)
es_client:do_put/6 (/Users/zkessin/Documents/Kobil/es_address_book/_build/test+eqc/lib/es_client/src/es_client.erl:1452)
es_client:put_user/4 (/Users/zkessin/Documents/Kobil/es_address_book/_build/test+eqc/lib/es_client/src/es_client.erl:779)
es_abs_flow_eqc:create_user/2 (/Users/zkessin/Documents/Kobil/es_address_book/_build/test+eqc/lib/es_address_book/eqc_test/es_abs_flow_eqc.erl:45)
eqc_statem:run_commands/1 (eqc-1.41.2/src/eqc_statem.erl:986)
Shrinking x.(1 times)
[{model,es_abs_flow_eqc},
{init,{state,[]}},
{set,{var,1},
{call,es_abs_flow_eqc,create_user,
[#{<<"ecoId">> => <<"ded772f7-06bc-493c-8249-b61d52c94efa">>,
<<"userId">> => <<"e604604b-2593-42db-9748-c2bca4696aec">>},
#{<<"userType">> => <<"person">>}]}}]
es_abs_flow_eqc:create_user(#{<<101, 99, 111, 73, 100>>
=> <<100, 101, 100, 55, 55, 50, 102, 55, 45, 48, 54, 98, 99, 45,
52, 57, 51, 99, 45, 56, 50, 52, 57, 45, 98, 54, 49, 100, 53, 50,
99, 57, 52, 101, 102, 97>>,
<<117, 115, 101, 114, 73, 100>>
=> <<101, 54, 48, 52, 54, 48, 52, 98, 45, 50, 53, 57, 51, 45, 52,
50, 100, 98, 45, 57, 55, 52, 56, 45, 99, 50, 98, 99, 97, 52, 54,
57, 54, 97, 101, 99>>},
#{<<117, 115, 101, 114, 84, 121, 112, 101>>
=> <<112, 101, 114, 115, 111, 110>>}) ->
!!! {exception,
{'EXIT',
{{badmatch, {error, timeout}},
[{es_client, open, 3,
[{file,
"/Users/zkessin/Documents/Kobil/es_address_book/_build/test+eqc/lib/es_client/src/es_client.erl"},
{line, 158}]},
{es_abs_flow_eqc, create_user, 2,
[{file,
"/Users/zkessin/Documents/Kobil/es_address_book/_build/test+eqc/lib/es_address_book/eqc_test/es_abs_flow_eqc.erl"},
{line, 46}]},
{eqc_statem, run_commands, 1,
[{file, "eqc-1.41.2/src/eqc_statem.erl"}, {line, 986}]},
{es_abs_flow_eqc, '-prop_sequential_flow/0-fun-0-', 1,
[{file,
"/Users/zkessin/Documents/Kobil/es_address_book/_build/test+eqc/lib/es_address_book/eqc_test/es_abs_flow_eqc.erl"},
{line, 105}]}]}}}
Reason:
exception:
exit({badmatch, {error, timeout}})
in es_client:open/3 (/Users/zkessin/Documents/Kobil/es_address_book/_build/test+eqc/lib/es_client/src/es_client.erl:158)
es_abs_flow_eqc:create_user/2 (/Users/zkessin/Documents/Kobil/es_address_book/_build/test+eqc/lib/es_address_book/eqc_test/es_abs_flow_eqc.erl:46)
eqc_statem:run_commands/1 (eqc-1.41.2/src/eqc_statem.erl:986)
es_abs_flow_eqc:-prop_sequential_flow/0-fun-0-/1 (/Users/zkessin/Documents/Kobil/es_address_book/_build/test+eqc/lib/es_address_book/eqc_test/es_abs_flow_eqc.erl:105)
prop_parallel_flow:
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment