{"action":"created","issue":{"url":"https://api.github.com/repos/kmarkus/rFSM/issues/9","labels_url":"https://api.github.com/repos/kmarkus/rFSM/issues/9/labels{/name}","comments_url":"https://api.github.com/repos/kmarkus/rFSM/issues/9/comments","events_url":"https://api.github.com/repos/kmarkus/rFSM/issues/9/events","html_url":"https://github.com/kmarkus/rFSM/issues/9","id":109046073,"number":9,"title":"adding an event to an 'initial' transition causes rFSM to stall, without throwing an error","user":{"login":"dvanthienen","id":1963250,"avatar_url":"https://avatars.githubusercontent.com/u/1963250?v=3","gravatar_id":"","url":"https://api.github.com/users/dvanthienen","html_url":"https://github.com/dvanthienen","followers_url":"https://api.github.com/users/dvanthienen/followers","following_url":"https://api.github.com/users/dvanthienen/following{/other_user}","gists_url":"https://api.github.com/users/dvanthienen/gists{/gist_id}","starred_url":"https://api.github.com/users/dvanthienen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dvanthienen/subscriptions","organizations_url":"https://api.github.com/users/dvanthienen/orgs","repos_url":"https://api.github.com/users/dvanthienen/repos","events_url":"https://api.github.com/users/dvanthienen/events{/privacy}","received_events_url":"https://api.github.com/users/dvanthienen/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2015-09-30T09:07:05Z","updated_at":"2015-10-19T19:05:32Z","closed_at":"2015-09-30T18:30:09Z","body":"Adding an event to an 'initial' transition causes rFSM to stall, without throwing an error.\r\nFor example rfsm.trans{src=\"initial\", tgt=\"stateA\", events={\"e_done\"}}.\r\nEspecially when this transition is part of a hierachical FSM:\r\nuplevel = rfsm.state{\r\nstateAA=rfsm.state{},\r\nstateBB=rfsm.state{\r\n  stateA = rfsm.state{},\r\n  rfsm.trans{src=\"initial\", tgt=\"stateA\", events={\"e_done\"}},\r\n},\r\nrfsm.trans{src=\"initial\", tgt=\"stateAA\"},\r\nrfsm.trans{src=\"stateAA\", tgt=\"stateBB\", events={\"e_done\"}}\r\n}\r\n\r\nrFSM does not make the exit of the previous state (state AA), just stays in this state.\r\nThere is no hint whatsoever that it is a transition in a next sub-state that causes the error.\r\n Especially annoying when the sub-states are in different files..."},"comment":{"url":"https://api.github.com/repos/kmarkus/rFSM/issues/comments/149314856","html_url":"https://github.com/kmarkus/rFSM/issues/9#issuecomment-149314856","issue_url":"https://api.github.com/repos/kmarkus/rFSM/issues/9","id":149314856,"user":{"login":"kmarkus","id":30355,"avatar_url":"https://avatars.githubusercontent.com/u/30355?v=3","gravatar_id":"","url":"https://api.github.com/users/kmarkus","html_url":"https://github.com/kmarkus","followers_url":"https://api.github.com/users/kmarkus/followers","following_url":"https://api.github.com/users/kmarkus/following{/other_user}","gists_url":"https://api.github.com/users/kmarkus/gists{/gist_id}","starred_url":"https://api.github.com/users/kmarkus/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kmarkus/subscriptions","organizations_url":"https://api.github.com/users/kmarkus/orgs","repos_url":"https://api.github.com/users/kmarkus/repos","events_url":"https://api.github.com/users/kmarkus/events{/privacy}","received_events_url":"https://api.github.com/users/kmarkus/received_events","type":"User","site_admin":false},"created_at":"2015-10-19T19:05:32Z","updated_at":"2015-10-19T19:05:32Z","body":"On Mo, Okt 19, 2015 at 01:18:50 -0700, Dominick Vanthienen wrote:\n>Hi Markus,\n>\n>Who should check this?\n\nThe rFSM validation code...\n\n>By checking conformity of the model wrt. the umf meta-model?\n\nRight, but this is manually implemented, no formal model checking a la uMF.\n\n>Is this still up-to-date and does it include this check?\n\nIs what up to date? It currently doesn't check ....\n\n>thx for following up :)\n\nYou're welcome!\n\nBest regards\nMarkus\n"}}