{"action":"created","issue":{"url":"https://api.github.com/repos/eMoflon/emoflon-ibex/issues/309","repository_url":"https://api.github.com/repos/eMoflon/emoflon-ibex","labels_url":"https://api.github.com/repos/eMoflon/emoflon-ibex/issues/309/labels{/name}","comments_url":"https://api.github.com/repos/eMoflon/emoflon-ibex/issues/309/comments","events_url":"https://api.github.com/repos/eMoflon/emoflon-ibex/issues/309/events","html_url":"https://github.com/eMoflon/emoflon-ibex/issues/309","id":307768595,"number":309,"title":"Non-injective match is found ","user":{"login":"anthonyanjorin","id":6302793,"avatar_url":"https://avatars0.githubusercontent.com/u/6302793?v=4","gravatar_id":"","url":"https://api.github.com/users/anthonyanjorin","html_url":"https://github.com/anthonyanjorin","followers_url":"https://api.github.com/users/anthonyanjorin/followers","following_url":"https://api.github.com/users/anthonyanjorin/following{/other_user}","gists_url":"https://api.github.com/users/anthonyanjorin/gists{/gist_id}","starred_url":"https://api.github.com/users/anthonyanjorin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/anthonyanjorin/subscriptions","organizations_url":"https://api.github.com/users/anthonyanjorin/orgs","repos_url":"https://api.github.com/users/anthonyanjorin/repos","events_url":"https://api.github.com/users/anthonyanjorin/events{/privacy}","received_events_url":"https://api.github.com/users/anthonyanjorin/received_events","type":"User","site_admin":false},"labels":[{"id":468602355,"url":"https://api.github.com/repos/eMoflon/emoflon-ibex/labels/bug","name":"bug","color":"ee0701","default":true}],"state":"open","locked":false,"assignee":{"login":"patrickrobrecht","id":12370952,"avatar_url":"https://avatars0.githubusercontent.com/u/12370952?v=4","gravatar_id":"","url":"https://api.github.com/users/patrickrobrecht","html_url":"https://github.com/patrickrobrecht","followers_url":"https://api.github.com/users/patrickrobrecht/followers","following_url":"https://api.github.com/users/patrickrobrecht/following{/other_user}","gists_url":"https://api.github.com/users/patrickrobrecht/gists{/gist_id}","starred_url":"https://api.github.com/users/patrickrobrecht/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/patrickrobrecht/subscriptions","organizations_url":"https://api.github.com/users/patrickrobrecht/orgs","repos_url":"https://api.github.com/users/patrickrobrecht/repos","events_url":"https://api.github.com/users/patrickrobrecht/events{/privacy}","received_events_url":"https://api.github.com/users/patrickrobrecht/received_events","type":"User","site_admin":false},"assignees":[{"login":"patrickrobrecht","id":12370952,"avatar_url":"https://avatars0.githubusercontent.com/u/12370952?v=4","gravatar_id":"","url":"https://api.github.com/users/patrickrobrecht","html_url":"https://github.com/patrickrobrecht","followers_url":"https://api.github.com/users/patrickrobrecht/followers","following_url":"https://api.github.com/users/patrickrobrecht/following{/other_user}","gists_url":"https://api.github.com/users/patrickrobrecht/gists{/gist_id}","starred_url":"https://api.github.com/users/patrickrobrecht/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/patrickrobrecht/subscriptions","organizations_url":"https://api.github.com/users/patrickrobrecht/orgs","repos_url":"https://api.github.com/users/patrickrobrecht/repos","events_url":"https://api.github.com/users/patrickrobrecht/events{/privacy}","received_events_url":"https://api.github.com/users/patrickrobrecht/received_events","type":"User","site_admin":false}],"milestone":null,"comments":2,"created_at":"2018-03-22T18:43:05Z","updated_at":"2018-03-25T16:05:32Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"Run the attached GT project as a JUnit testsuite.  One of the tests will fail.  The sysouts show that the match is (as far as I can tell) non-injective but is still reported as a match.\r\n\r\n[nonInjectiveMatchBug.zip](https://github.com/eMoflon/emoflon-ibex/files/1838998/nonInjectiveMatchBug.zip)\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/eMoflon/emoflon-ibex/issues/comments/375981620","html_url":"https://github.com/eMoflon/emoflon-ibex/issues/309#issuecomment-375981620","issue_url":"https://api.github.com/repos/eMoflon/emoflon-ibex/issues/309","id":375981620,"user":{"login":"patrickrobrecht","id":12370952,"avatar_url":"https://avatars0.githubusercontent.com/u/12370952?v=4","gravatar_id":"","url":"https://api.github.com/users/patrickrobrecht","html_url":"https://github.com/patrickrobrecht","followers_url":"https://api.github.com/users/patrickrobrecht/followers","following_url":"https://api.github.com/users/patrickrobrecht/following{/other_user}","gists_url":"https://api.github.com/users/patrickrobrecht/gists{/gist_id}","starred_url":"https://api.github.com/users/patrickrobrecht/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/patrickrobrecht/subscriptions","organizations_url":"https://api.github.com/users/patrickrobrecht/orgs","repos_url":"https://api.github.com/users/patrickrobrecht/repos","events_url":"https://api.github.com/users/patrickrobrecht/events{/privacy}","received_events_url":"https://api.github.com/users/patrickrobrecht/received_events","type":"User","site_admin":false},"created_at":"2018-03-25T16:05:32Z","updated_at":"2018-03-25T16:05:32Z","author_association":"COLLABORATOR","body":"I can confirm that the generation of injectivity constraints has a bug: If the two classes are different, no injectivity constraint is generated. If one is the super class of the other, there should be an injectivity consraint in the IBeXPatterns, resulting in an unequal constraint in Democles."}}
{"actor":{"display_login":"patrickrobrecht"}}