{"action":"created","issue":{"url":"https://api.github.com/repos/kellymclaughlin/rebar3-eqc-plugin/issues/16","repository_url":"https://api.github.com/repos/kellymclaughlin/rebar3-eqc-plugin","labels_url":"https://api.github.com/repos/kellymclaughlin/rebar3-eqc-plugin/issues/16/labels{/name}","comments_url":"https://api.github.com/repos/kellymclaughlin/rebar3-eqc-plugin/issues/16/comments","events_url":"https://api.github.com/repos/kellymclaughlin/rebar3-eqc-plugin/issues/16/events","html_url":"https://github.com/kellymclaughlin/rebar3-eqc-plugin/issues/16","id":136159973,"number":16,"title":"Running distributed nodes","user":{"login":"ThomasArts","id":638015,"avatar_url":"https://avatars.githubusercontent.com/u/638015?v=3","gravatar_id":"","url":"https://api.github.com/users/ThomasArts","html_url":"https://github.com/ThomasArts","followers_url":"https://api.github.com/users/ThomasArts/followers","following_url":"https://api.github.com/users/ThomasArts/following{/other_user}","gists_url":"https://api.github.com/users/ThomasArts/gists{/gist_id}","starred_url":"https://api.github.com/users/ThomasArts/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ThomasArts/subscriptions","organizations_url":"https://api.github.com/users/ThomasArts/orgs","repos_url":"https://api.github.com/users/ThomasArts/repos","events_url":"https://api.github.com/users/ThomasArts/events{/privacy}","received_events_url":"https://api.github.com/users/ThomasArts/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2016-02-24T19:20:21Z","updated_at":"2016-02-25T06:42:12Z","closed_at":null,"body":"In rebar3 you can start a shell with --sname option, or use the ERL_FLAGS environment parameter to get a distributed node. But when using this qith the QuickCheck plug-in, it does not work.\r\nIt seems to me an issue with rebar3, since when you run the plug-in, it has already started Erlang.\r\n\r\n~/myapp [git:^*master?]: ERL_FLAGS=\"-sname eqc\" rebar3 shell\r\n===> Verifying dependencies...\r\n===> Compiling storage_backend\r\nErlang/OTP 18 [erts-7.2.1] [source] [64-bit] [smp:4:4] [async-threads:0] [hipe] [kernel-poll:false] [dtrace]\r\n\r\nEshell V7.2.1  (abort with ^G)\r\n(eqc@ThomasComputer)1> halt().\r\n~/myapp [git:^*master?]: ERL_FLAGS=\"-sname eqc\" rebar3 eqc\r\n===> Verifying dependencies...\r\n===> Compiling storage_backend\r\nStarting Quviq QuickCheck Automotive version 1.37.0\r\n   (compiled at {{2016,1,22},{12,4,1}})\r\nLicence for Quviq AB reserved until {{2016,2,24},{21,12,2}}\r\nRunning EQC tests...\r\n\r\n\r\n===== robust_eqc:prop_robust_eqc\r\n===> Uncaught error in rebar_core. Run with DEBUG=1 to see stacktrace\r\n===> When submitting a bug report, please include the output of `rebar3 report \"your command\"\r\n\r\nFor completeness sake, I add the report, in case it is a rebar3 thing and you need to forward it.\r\n\r\nrebar3 report\r\nRebar3 report\r\n version 3.0.0-beta.4+build.3316.ref2d2b8a7\r\n generated at 2016-02-24T19:15:47+00:00\r\n=================\r\nPlease submit this along with your issue at https://github.com/rebar/rebar3/issues (and feel free to edit out private information, if any)\r\n-----------------\r\nTask: \r\nEntered as:\r\n  \r\n-----------------\r\nOperating System: x86_64-apple-darwin15.2.0\r\nERTS: Erlang/OTP 18 [erts-7.2.1] [source] [64-bit] [smp:4:4] [async-threads:0] [hipe] [kernel-poll:false] [dtrace]\r\nRoot Directory: /usr/local/Cellar/erlang/18.2.1/lib/erlang\r\nLibrary directory: /usr/local/Cellar/erlang/18.2.1/lib/erlang/lib\r\n-----------------\r\nLoaded Applications:\r\nbbmustache: 1.0.4\r\ncertifi: 0.3.0\r\ncf: 0.1.2\r\ncommon_test: 1.11.1\r\ncompiler: 6.0.2\r\ncrypto: 3.6.2\r\ncth_readable: 1.2.0\r\ndialyzer: 2.8.2\r\nedoc: 0.7.17\r\nerlware_commons: 0.19.0\r\neunit: 2.2.12\r\neunit_formatters: 0.3.1\r\ngetopt: 0.8.2\r\ninets: 6.1\r\nkernel: 4.1.1\r\nproviders: 1.6.0\r\npublic_key: 1.1\r\nrelx: 3.17.0\r\nsasl: 2.6.1\r\nsnmp: 5.2.1\r\nssl_verify_hostname: 1.0.5\r\nstdlib: 2.7\r\nsyntax_tools: 1.7\r\ntools: 2.8.2\r\n\r\n-----------------\r\nEscript path: /Users/thomas/bin/rebar3\r\nProviders:\r\n  app_discovery as clean compile compile cover ct deps dialyzer do edoc eqc escriptize eunit help install install_deps list lock new path pkgs release relup report shell tar tree unlock update upgrade upgrade upgrade version xref \r\n\r\n"},"comment":{"url":"https://api.github.com/repos/kellymclaughlin/rebar3-eqc-plugin/issues/comments/188638084","html_url":"https://github.com/kellymclaughlin/rebar3-eqc-plugin/issues/16#issuecomment-188638084","issue_url":"https://api.github.com/repos/kellymclaughlin/rebar3-eqc-plugin/issues/16","id":188638084,"user":{"login":"ThomasArts","id":638015,"avatar_url":"https://avatars.githubusercontent.com/u/638015?v=3","gravatar_id":"","url":"https://api.github.com/users/ThomasArts","html_url":"https://github.com/ThomasArts","followers_url":"https://api.github.com/users/ThomasArts/followers","following_url":"https://api.github.com/users/ThomasArts/following{/other_user}","gists_url":"https://api.github.com/users/ThomasArts/gists{/gist_id}","starred_url":"https://api.github.com/users/ThomasArts/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ThomasArts/subscriptions","organizations_url":"https://api.github.com/users/ThomasArts/orgs","repos_url":"https://api.github.com/users/ThomasArts/repos","events_url":"https://api.github.com/users/ThomasArts/events{/privacy}","received_events_url":"https://api.github.com/users/ThomasArts/received_events","type":"User","site_admin":false},"created_at":"2016-02-25T06:42:12Z","updated_at":"2016-02-25T06:42:12Z","body":"Thanks for your response. It turns out to be an Erlang issue. You can start a distributed node with Erl_flags, but that node times out when you try to start a slave in it, or check whether it is alive.\n\nThus, using ERL_Flags in rebar3 eqc doesn't work for that kind of actions: start a slave and rpc to the slave.\n\nAwaiting an answer from OTP team before we can say what to do in rebar or your plugin\n\nRegards\nThomas\n\n> On 25 Feb 2016, at 06:08, Kelly McLaughlin <notifications@github.com> wrote:\n> \n> Hi Thomas. Thanks for the report. I tried running a relatively simple properties with ERL_FLAGS=\"-sname eqc\" set, but I didn't receive a similar crash. I wonder if you would be able to run the same command with DEBUG=1 set in order to produce a stacktrace to get a better idea of where things are going wrong. I also have some more complicated properties I can test with and attempt to reproduce the behavior.\n> \n> —\n> Reply to this email directly or view it on GitHub.\n> \n"}}