{"action":"created","issue":{"url":"https://api.github.com/repos/lauramcastro/readspec/issues/10","labels_url":"https://api.github.com/repos/lauramcastro/readspec/issues/10/labels{/name}","comments_url":"https://api.github.com/repos/lauramcastro/readspec/issues/10/comments","events_url":"https://api.github.com/repos/lauramcastro/readspec/issues/10/events","html_url":"https://github.com/lauramcastro/readspec/issues/10","id":85515524,"number":10,"title":"Imprecise results","user":{"login":"miguelafr","id":4329672,"avatar_url":"https://avatars.githubusercontent.com/u/4329672?v=3","gravatar_id":"","url":"https://api.github.com/users/miguelafr","html_url":"https://github.com/miguelafr","followers_url":"https://api.github.com/users/miguelafr/followers","following_url":"https://api.github.com/users/miguelafr/following{/other_user}","gists_url":"https://api.github.com/users/miguelafr/gists{/gist_id}","starred_url":"https://api.github.com/users/miguelafr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/miguelafr/subscriptions","organizations_url":"https://api.github.com/users/miguelafr/orgs","repos_url":"https://api.github.com/users/miguelafr/repos","events_url":"https://api.github.com/users/miguelafr/events{/privacy}","received_events_url":"https://api.github.com/users/miguelafr/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/lauramcastro/readspec/labels/duplicate","name":"duplicate","color":"cccccc"}],"state":"open","locked":false,"assignee":{"login":"palas","id":638102,"avatar_url":"https://avatars.githubusercontent.com/u/638102?v=3","gravatar_id":"","url":"https://api.github.com/users/palas","html_url":"https://github.com/palas","followers_url":"https://api.github.com/users/palas/followers","following_url":"https://api.github.com/users/palas/following{/other_user}","gists_url":"https://api.github.com/users/palas/gists{/gist_id}","starred_url":"https://api.github.com/users/palas/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/palas/subscriptions","organizations_url":"https://api.github.com/users/palas/orgs","repos_url":"https://api.github.com/users/palas/repos","events_url":"https://api.github.com/users/palas/events{/privacy}","received_events_url":"https://api.github.com/users/palas/received_events","type":"User","site_admin":false},"milestone":null,"comments":1,"created_at":"2015-06-05T12:01:03Z","updated_at":"2015-06-05T12:37:36Z","closed_at":null,"body":"With a QuickCheck state machine that has a postcondition like this:\r\n\r\n```\r\ncreate_room_post(_S, Params, {error, Reason})->\r\n    {error, {create_room, Params}, Reason};\r\ncreate_room_post(_S, [\"\", _Description], Result) ->\r\n    check_simple_errors(Result#room.errors, \"required\", \"roomId\", \"\");\r\ncreate_room_post(S, [RoomId, Description], Result)->\r\n    case search_room(RoomId, S#state.rooms) of\r\n        {value, _Room} ->\r\n            check_simple_errors(Result#room.errors, \"duplicated\",\r\n                                \"roomId\", RoomId);\r\n        false ->\r\n            Result#room.roomId == RoomId\r\n                andalso Result#room.description == get_description(Description)\r\n    end.\r\n```\r\n\r\nreadspec reports this for the first clause:\r\n\r\n```\r\n*** RESULT ***\r\n\r\na tuple with the following elements:\r\n    - the literal 'error'\r\n    - a tuple with the following elements:\r\n        - the literal 'create_room'\r\n        - a list with the following elements:\r\n            - the 2nd argument passed to create_room/2\r\n            - the 1st argument passed to create_room/2\r\n    - the variable \"Reason\"\r\n```\r\n\r\nThe order of the parameters is not correct for the element \"Params\", the first element is the first argument, and the second element is the second argument.\r\n\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/lauramcastro/readspec/issues/comments/109281793","html_url":"https://github.com/lauramcastro/readspec/issues/10#issuecomment-109281793","issue_url":"https://api.github.com/repos/lauramcastro/readspec/issues/10","id":109281793,"user":{"login":"palas","id":638102,"avatar_url":"https://avatars.githubusercontent.com/u/638102?v=3","gravatar_id":"","url":"https://api.github.com/users/palas","html_url":"https://github.com/palas","followers_url":"https://api.github.com/users/palas/followers","following_url":"https://api.github.com/users/palas/following{/other_user}","gists_url":"https://api.github.com/users/palas/gists{/gist_id}","starred_url":"https://api.github.com/users/palas/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/palas/subscriptions","organizations_url":"https://api.github.com/users/palas/orgs","repos_url":"https://api.github.com/users/palas/repos","events_url":"https://api.github.com/users/palas/events{/privacy}","received_events_url":"https://api.github.com/users/palas/received_events","type":"User","site_admin":false},"created_at":"2015-06-05T12:37:36Z","updated_at":"2015-06-05T12:37:36Z","body":"I think this is the same issue, but it would be good to test it too."}}