{"action":"created","issue":{"url":"https://api.github.com/repos/diffblue/cbmc/issues/2636","repository_url":"https://api.github.com/repos/diffblue/cbmc","labels_url":"https://api.github.com/repos/diffblue/cbmc/issues/2636/labels{/name}","comments_url":"https://api.github.com/repos/diffblue/cbmc/issues/2636/comments","events_url":"https://api.github.com/repos/diffblue/cbmc/issues/2636/events","html_url":"https://github.com/diffblue/cbmc/pull/2636","id":346058202,"node_id":"MDExOlB1bGxSZXF1ZXN0MjA1MDEyODcz","number":2636,"title":"if function is not in the function map, treat as if it has no body","user":{"login":"polgreen","id":17899331,"node_id":"MDQ6VXNlcjE3ODk5MzMx","avatar_url":"https://avatars3.githubusercontent.com/u/17899331?v=4","gravatar_id":"","url":"https://api.github.com/users/polgreen","html_url":"https://github.com/polgreen","followers_url":"https://api.github.com/users/polgreen/followers","following_url":"https://api.github.com/users/polgreen/following{/other_user}","gists_url":"https://api.github.com/users/polgreen/gists{/gist_id}","starred_url":"https://api.github.com/users/polgreen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/polgreen/subscriptions","organizations_url":"https://api.github.com/users/polgreen/orgs","repos_url":"https://api.github.com/users/polgreen/repos","events_url":"https://api.github.com/users/polgreen/events{/privacy}","received_events_url":"https://api.github.com/users/polgreen/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":8,"created_at":"2018-07-31T06:55:13Z","updated_at":"2018-07-31T09:52:53Z","closed_at":null,"author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/diffblue/cbmc/pulls/2636","html_url":"https://github.com/diffblue/cbmc/pull/2636","diff_url":"https://github.com/diffblue/cbmc/pull/2636.diff","patch_url":"https://github.com/diffblue/cbmc/pull/2636.patch"},"body":"For the call graph, we add the function to the call graph but do not try to look for function calls in the body.\r\nFor slicing global inits, we do not try to look in the function body for symbols.\r\nThis fixes issue https://github.com/diffblue/cbmc/issues/2631\r\n"},"comment":{"url":"https://api.github.com/repos/diffblue/cbmc/issues/comments/409164028","html_url":"https://github.com/diffblue/cbmc/pull/2636#issuecomment-409164028","issue_url":"https://api.github.com/repos/diffblue/cbmc/issues/2636","id":409164028,"node_id":"MDEyOklzc3VlQ29tbWVudDQwOTE2NDAyOA==","user":{"login":"polgreen","id":17899331,"node_id":"MDQ6VXNlcjE3ODk5MzMx","avatar_url":"https://avatars3.githubusercontent.com/u/17899331?v=4","gravatar_id":"","url":"https://api.github.com/users/polgreen","html_url":"https://github.com/polgreen","followers_url":"https://api.github.com/users/polgreen/followers","following_url":"https://api.github.com/users/polgreen/following{/other_user}","gists_url":"https://api.github.com/users/polgreen/gists{/gist_id}","starred_url":"https://api.github.com/users/polgreen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/polgreen/subscriptions","organizations_url":"https://api.github.com/users/polgreen/orgs","repos_url":"https://api.github.com/users/polgreen/repos","events_url":"https://api.github.com/users/polgreen/events{/privacy}","received_events_url":"https://api.github.com/users/polgreen/received_events","type":"User","site_admin":false},"created_at":"2018-07-31T09:52:53Z","updated_at":"2018-07-31T09:52:53Z","author_association":"CONTRIBUTOR","body":"Changed. \r\n\r\nPerhaps, since 14 of them fail, the CBMC-concurrency tests should be run as part of the regression. "}}
{"actor":{"display_login":"polgreen"}}