{"action":"closed","issue":{"url":"https://api.github.com/repos/jeremyk-91/mcmas-ltlfork/issues/7","labels_url":"https://api.github.com/repos/jeremyk-91/mcmas-ltlfork/issues/7/labels{/name}","comments_url":"https://api.github.com/repos/jeremyk-91/mcmas-ltlfork/issues/7/comments","events_url":"https://api.github.com/repos/jeremyk-91/mcmas-ltlfork/issues/7/events","html_url":"https://github.com/jeremyk-91/mcmas-ltlfork/issues/7","id":124046980,"number":7,"title":"Long formulas in LTL","user":{"login":"jeremyk-91","id":5955510,"avatar_url":"https://avatars.githubusercontent.com/u/5955510?v=3","gravatar_id":"","url":"https://api.github.com/users/jeremyk-91","html_url":"https://github.com/jeremyk-91","followers_url":"https://api.github.com/users/jeremyk-91/followers","following_url":"https://api.github.com/users/jeremyk-91/following{/other_user}","gists_url":"https://api.github.com/users/jeremyk-91/gists{/gist_id}","starred_url":"https://api.github.com/users/jeremyk-91/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jeremyk-91/subscriptions","organizations_url":"https://api.github.com/users/jeremyk-91/orgs","repos_url":"https://api.github.com/users/jeremyk-91/repos","events_url":"https://api.github.com/users/jeremyk-91/events{/privacy}","received_events_url":"https://api.github.com/users/jeremyk-91/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-12-28T10:11:35Z","updated_at":"2015-12-28T10:18:29Z","closed_at":"2015-12-28T10:18:29Z","body":"MCMAS seems to unexpectedly die when given the formula ``LTL F F F G G G F G F G G F G (bit0 or bit1);`` (for the bit transmission protocol).\r\n\r\n```\r\nAn error occurred concerning unimplemented functionality in check_ltl_sat. Please contact MCMAS developers.\r\nAn error occurred concerning unimplemented functionality in check_ltl_sat. Please contact MCMAS developers.\r\nAn error occurred concerning unimplemented functionality in check_ltl_sat. Please contact MCMAS developers.\r\nAn error occurred concerning unimplemented functionality in check_ltl_sat. Please contact MCMAS developers.\r\nAn error occurred concerning unimplemented functionality in check_ltl_sat. Please contact MCMAS developers.\r\nAn error occurred concerning unimplemented functionality in check_ltl_sat. Please contact MCMAS developers.\r\nAn error occurred concerning unimplemented functionality in check_ltl_sat. Please contact MCMAS developers.\r\nAn error occurred concerning unimplemented functionality in check_ltl_sat. Please contact MCMAS developers.\r\nAn error occurred concerning unimplemented functionality in check_ltl_sat. Please contact MCMAS developers.\r\nAn error occurred concerning unimplemented functionality in check_ltl_sat. Please contact MCMAS developers.\r\nAn error occurred concerning unimplemented functionality in check_ltl_sat. Please contact MCMAS developers.\r\nAn error occurred concerning unimplemented functionality in check_ltl_sat. Please contact MCMAS developers.\r\nAn error occurred concerning unimplemented functionality in check_ltl_sat. Please contact MCMAS developers.\r\nAn error occurred concerning unimplemented functionality in check_ltl_sat. Please contact MCMAS developers.\r\nUnexpected error.\r\nmcmas: cuddObj.cc:1388: void defaultError(std::string): Assertion `false' failed.\r\n\r\nCaught signal SIGABRT\r\n```"}}