{"action":"opened","issue":{"url":"https://api.github.com/repos/boogie-org/boogie/issues/21","labels_url":"https://api.github.com/repos/boogie-org/boogie/issues/21/labels{/name}","comments_url":"https://api.github.com/repos/boogie-org/boogie/issues/21/comments","events_url":"https://api.github.com/repos/boogie-org/boogie/issues/21/events","html_url":"https://github.com/boogie-org/boogie/issues/21","id":113390795,"number":21,"title":"Too many comments crash due to stack overflow","user":{"login":"michael-emmi","id":1457498,"avatar_url":"https://avatars.githubusercontent.com/u/1457498?v=3","gravatar_id":"","url":"https://api.github.com/users/michael-emmi","html_url":"https://github.com/michael-emmi","followers_url":"https://api.github.com/users/michael-emmi/followers","following_url":"https://api.github.com/users/michael-emmi/following{/other_user}","gists_url":"https://api.github.com/users/michael-emmi/gists{/gist_id}","starred_url":"https://api.github.com/users/michael-emmi/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/michael-emmi/subscriptions","organizations_url":"https://api.github.com/users/michael-emmi/orgs","repos_url":"https://api.github.com/users/michael-emmi/repos","events_url":"https://api.github.com/users/michael-emmi/events{/privacy}","received_events_url":"https://api.github.com/users/michael-emmi/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-10-26T16:10:45Z","updated_at":"2015-10-26T16:10:45Z","closed_at":null,"body":"On an input file with too many (successive) line comments, Boogie crashes due to overflowing the procedure stack. Discovered this on an input file which begins with 230,000 line comments. Due to file size it cannot be displayed here, but I’d be happy to email the (zipped) file if necessary."}}