{"action":"opened","issue":{"url":"https://api.github.com/repos/lesunb/CRGMToPRISM/issues/23","repository_url":"https://api.github.com/repos/lesunb/CRGMToPRISM","labels_url":"https://api.github.com/repos/lesunb/CRGMToPRISM/issues/23/labels{/name}","comments_url":"https://api.github.com/repos/lesunb/CRGMToPRISM/issues/23/comments","events_url":"https://api.github.com/repos/lesunb/CRGMToPRISM/issues/23/events","html_url":"https://github.com/lesunb/CRGMToPRISM/issues/23","id":270383004,"number":23,"title":"Error in the prism model when runtime N1|N2 is used for goals","user":{"login":"gabrielasolano","id":19439540,"avatar_url":"https://avatars3.githubusercontent.com/u/19439540?v=4","gravatar_id":"","url":"https://api.github.com/users/gabrielasolano","html_url":"https://github.com/gabrielasolano","followers_url":"https://api.github.com/users/gabrielasolano/followers","following_url":"https://api.github.com/users/gabrielasolano/following{/other_user}","gists_url":"https://api.github.com/users/gabrielasolano/gists{/gist_id}","starred_url":"https://api.github.com/users/gabrielasolano/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gabrielasolano/subscriptions","organizations_url":"https://api.github.com/users/gabrielasolano/orgs","repos_url":"https://api.github.com/users/gabrielasolano/repos","events_url":"https://api.github.com/users/gabrielasolano/events{/privacy}","received_events_url":"https://api.github.com/users/gabrielasolano/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2017-11-01T17:17:41Z","updated_at":"2017-11-01T17:17:41Z","closed_at":null,"author_association":"COLLABORATOR","body":"The runtime N1|N2 represents the XOR decomposition.\r\n\r\nAlthough the DTMC model's template is correct, not every goal has its formula generated correctly.\r\n\r\nFor example, using the runtime [G2|G3|G4], the formulas are (now) printed as:\r\nformula G2 = (sG2_T1=2 | sG3_T1=2 | sG4_T1=2);\r\nformula G3 = ;\r\nformula G4 = ;"}}
{"actor":{"display_login":"gabrielasolano"}}