{"action":"opened","issue":{"url":"https://api.github.com/repos/parapluu/Concuerror/issues/70","labels_url":"https://api.github.com/repos/parapluu/Concuerror/issues/70/labels{/name}","comments_url":"https://api.github.com/repos/parapluu/Concuerror/issues/70/comments","events_url":"https://api.github.com/repos/parapluu/Concuerror/issues/70/events","html_url":"https://github.com/parapluu/Concuerror/issues/70","id":111028569,"number":70,"title":"replaying a built-in returned a different result than expected","user":{"login":"Cloven","id":495279,"avatar_url":"https://avatars.githubusercontent.com/u/495279?v=3","gravatar_id":"","url":"https://api.github.com/users/Cloven","html_url":"https://github.com/Cloven","followers_url":"https://api.github.com/users/Cloven/followers","following_url":"https://api.github.com/users/Cloven/following{/other_user}","gists_url":"https://api.github.com/users/Cloven/gists{/gist_id}","starred_url":"https://api.github.com/users/Cloven/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Cloven/subscriptions","organizations_url":"https://api.github.com/users/Cloven/orgs","repos_url":"https://api.github.com/users/Cloven/repos","events_url":"https://api.github.com/users/Cloven/events{/privacy}","received_events_url":"https://api.github.com/users/Cloven/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-10-12T18:24:39Z","updated_at":"2015-10-12T18:24:39Z","closed_at":null,"body":"it's highly likely that I'm not yet using concuerror correctly.  \r\n\r\nNevertheless, using concuerror commit 1c3ef97d02cbcecda1702601d5c44482252ce048:\r\n\r\n$ ../Concuerror/concuerror --pa ebin deps/*/ebin -m paros --non_racing_system user  --treat_as_normal shutdown\r\n\r\n[...short time passes...]\r\n\r\nError: On step 323, replaying a built-in returned a different result than expected:\r\n  original:\r\n    {event,<0.117.0>,\r\n       {exit_event,<0.117.0>,\r\n                   [<0.124.0>,<0.131.0>,<0.134.0>],\r\n                   [{#Ref<0.0.1.1640>,<0.72.0>,<0.117.0>}],\r\n                   mary,shutdown,[],running,false},\r\n       #Ref<0.0.1.1674>,exit,[]}\r\n  new:\r\n    {event,<0.117.0>,\r\n       {exit_event,<0.117.0>,\r\n                   [<0.124.0>,<0.131.0>,<0.134.0>],\r\n                   [{#Ref<0.0.1.1640>,<0.72.0>,<0.117.0>}],\r\n                   mary,shutdown,[],waiting,false},\r\n       #Ref<0.0.1.1674>,exit,[]}\r\n\r\nPlease notify the developers, as this is a bug of Concuerror.\r\n\r\nDone! (Exit status: error)\r\n  Summary: 1 errors, 98/567 interleavings explored\r\n\r\nThis result is repeatable every time I run it.  I can provide github access to the project, files, debugging time, etc.; whatever's needed."}}