{"action":"closed","issue":{"url":"https://api.github.com/repos/workcraft/workcraft/issues/763","repository_url":"https://api.github.com/repos/workcraft/workcraft","labels_url":"https://api.github.com/repos/workcraft/workcraft/issues/763/labels{/name}","comments_url":"https://api.github.com/repos/workcraft/workcraft/issues/763/comments","events_url":"https://api.github.com/repos/workcraft/workcraft/issues/763/events","html_url":"https://github.com/workcraft/workcraft/issues/763","id":273443543,"number":763,"title":"JavaScript call to checkStgConsistency crashes for inconsistet STG","user":{"login":"danilovesky","id":1443528,"avatar_url":"https://avatars3.githubusercontent.com/u/1443528?v=4","gravatar_id":"","url":"https://api.github.com/users/danilovesky","html_url":"https://github.com/danilovesky","followers_url":"https://api.github.com/users/danilovesky/followers","following_url":"https://api.github.com/users/danilovesky/following{/other_user}","gists_url":"https://api.github.com/users/danilovesky/gists{/gist_id}","starred_url":"https://api.github.com/users/danilovesky/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/danilovesky/subscriptions","organizations_url":"https://api.github.com/users/danilovesky/orgs","repos_url":"https://api.github.com/users/danilovesky/repos","events_url":"https://api.github.com/users/danilovesky/events{/privacy}","received_events_url":"https://api.github.com/users/danilovesky/received_events","type":"User","site_admin":false},"labels":[{"id":322728361,"url":"https://api.github.com/repos/workcraft/workcraft/labels/bug","name":"bug","color":"fc2929","default":true},{"id":322732816,"url":"https://api.github.com/repos/workcraft/workcraft/labels/priority:high","name":"priority:high","color":"fad8c7","default":false},{"id":322732928,"url":"https://api.github.com/repos/workcraft/workcraft/labels/tag:model:stg","name":"tag:model:stg","color":"ededed","default":false},{"id":322732804,"url":"https://api.github.com/repos/workcraft/workcraft/labels/tag:script","name":"tag:script","color":"ededed","default":false}],"state":"closed","locked":false,"assignee":{"login":"danilovesky","id":1443528,"avatar_url":"https://avatars3.githubusercontent.com/u/1443528?v=4","gravatar_id":"","url":"https://api.github.com/users/danilovesky","html_url":"https://github.com/danilovesky","followers_url":"https://api.github.com/users/danilovesky/followers","following_url":"https://api.github.com/users/danilovesky/following{/other_user}","gists_url":"https://api.github.com/users/danilovesky/gists{/gist_id}","starred_url":"https://api.github.com/users/danilovesky/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/danilovesky/subscriptions","organizations_url":"https://api.github.com/users/danilovesky/orgs","repos_url":"https://api.github.com/users/danilovesky/repos","events_url":"https://api.github.com/users/danilovesky/events{/privacy}","received_events_url":"https://api.github.com/users/danilovesky/received_events","type":"User","site_admin":false},"assignees":[{"login":"danilovesky","id":1443528,"avatar_url":"https://avatars3.githubusercontent.com/u/1443528?v=4","gravatar_id":"","url":"https://api.github.com/users/danilovesky","html_url":"https://github.com/danilovesky","followers_url":"https://api.github.com/users/danilovesky/followers","following_url":"https://api.github.com/users/danilovesky/following{/other_user}","gists_url":"https://api.github.com/users/danilovesky/gists{/gist_id}","starred_url":"https://api.github.com/users/danilovesky/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/danilovesky/subscriptions","organizations_url":"https://api.github.com/users/danilovesky/orgs","repos_url":"https://api.github.com/users/danilovesky/repos","events_url":"https://api.github.com/users/danilovesky/events{/privacy}","received_events_url":"https://api.github.com/users/danilovesky/received_events","type":"User","site_admin":false}],"milestone":{"url":"https://api.github.com/repos/workcraft/workcraft/milestones/21","html_url":"https://github.com/workcraft/workcraft/milestone/21","labels_url":"https://api.github.com/repos/workcraft/workcraft/milestones/21/labels","id":2880913,"number":21,"title":"3.1.8","description":"","creator":{"login":"danilovesky","id":1443528,"avatar_url":"https://avatars3.githubusercontent.com/u/1443528?v=4","gravatar_id":"","url":"https://api.github.com/users/danilovesky","html_url":"https://github.com/danilovesky","followers_url":"https://api.github.com/users/danilovesky/followers","following_url":"https://api.github.com/users/danilovesky/following{/other_user}","gists_url":"https://api.github.com/users/danilovesky/gists{/gist_id}","starred_url":"https://api.github.com/users/danilovesky/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/danilovesky/subscriptions","organizations_url":"https://api.github.com/users/danilovesky/orgs","repos_url":"https://api.github.com/users/danilovesky/repos","events_url":"https://api.github.com/users/danilovesky/events{/privacy}","received_events_url":"https://api.github.com/users/danilovesky/received_events","type":"User","site_admin":false},"open_issues":7,"closed_issues":11,"state":"open","created_at":"2017-11-01T15:27:55Z","updated_at":"2017-12-04T14:04:29Z","due_on":null,"closed_at":null},"comments":0,"created_at":"2017-11-13T14:14:44Z","updated_at":"2017-12-04T14:04:28Z","closed_at":"2017-12-04T14:04:28Z","author_association":"OWNER","body":"To reproduce, load an inconsistent STG and run the following JavaScript in console mode:\r\n```\r\nwork = load(\"inconsistent.stg.work\");\r\nresult = checkStgConsistency(work);\r\nprint(result);\r\n```\r\nThe 'result' is assigned a 'null' value because the check fails during unfolding and does not reach MPSat. As the result is 'null', JavaScript is confused which print function to call.\r\n"}}
{"actor":{"display_login":"danilovesky"}}