{"action":"created","issue":{"url":"https://api.github.com/repos/diffblue/cbmc/issues/1918","repository_url":"https://api.github.com/repos/diffblue/cbmc","labels_url":"https://api.github.com/repos/diffblue/cbmc/issues/1918/labels{/name}","comments_url":"https://api.github.com/repos/diffblue/cbmc/issues/1918/comments","events_url":"https://api.github.com/repos/diffblue/cbmc/issues/1918/events","html_url":"https://github.com/diffblue/cbmc/pull/1918","id":303496358,"number":1918,"title":"Lambda lazy loading [TG-2485]","user":{"login":"thk123","id":638608,"avatar_url":"https://avatars3.githubusercontent.com/u/638608?v=4","gravatar_id":"","url":"https://api.github.com/users/thk123","html_url":"https://github.com/thk123","followers_url":"https://api.github.com/users/thk123/followers","following_url":"https://api.github.com/users/thk123/following{/other_user}","gists_url":"https://api.github.com/users/thk123/gists{/gist_id}","starred_url":"https://api.github.com/users/thk123/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/thk123/subscriptions","organizations_url":"https://api.github.com/users/thk123/orgs","repos_url":"https://api.github.com/users/thk123/repos","events_url":"https://api.github.com/users/thk123/events{/privacy}","received_events_url":"https://api.github.com/users/thk123/received_events","type":"User","site_admin":false},"labels":[{"id":519373412,"url":"https://api.github.com/repos/diffblue/cbmc/labels/Do%20not%20merge","name":"Do not merge","color":"d4c5f9","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-03-08T14:22:29Z","updated_at":"2018-03-12T12:33:20Z","closed_at":null,"author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/diffblue/cbmc/pulls/1918","html_url":"https://github.com/diffblue/cbmc/pull/1918","diff_url":"https://github.com/diffblue/cbmc/pull/1918.diff","patch_url":"https://github.com/diffblue/cbmc/pull/1918.patch"},"body":"Depends on: #1913 \r\nReal diff: https://github.com/diffblue/cbmc/pull/1918/files/f29fb543f3968f6163ba5975e002b26db4258fd1..18923ec8e17b6ea6385dd9e509d81dd0df9aeb48\r\n\r\nAdding some (failing) unit tests that demonstrate the problem with --lazy-methods when trying to get lambdas loaded. "},"comment":{"url":"https://api.github.com/repos/diffblue/cbmc/issues/comments/372294244","html_url":"https://github.com/diffblue/cbmc/pull/1918#issuecomment-372294244","issue_url":"https://api.github.com/repos/diffblue/cbmc/issues/1918","id":372294244,"user":{"login":"thk123","id":638608,"avatar_url":"https://avatars3.githubusercontent.com/u/638608?v=4","gravatar_id":"","url":"https://api.github.com/users/thk123","html_url":"https://github.com/thk123","followers_url":"https://api.github.com/users/thk123/followers","following_url":"https://api.github.com/users/thk123/following{/other_user}","gists_url":"https://api.github.com/users/thk123/gists{/gist_id}","starred_url":"https://api.github.com/users/thk123/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/thk123/subscriptions","organizations_url":"https://api.github.com/users/thk123/orgs","repos_url":"https://api.github.com/users/thk123/repos","events_url":"https://api.github.com/users/thk123/events{/privacy}","received_events_url":"https://api.github.com/users/thk123/received_events","type":"User","site_admin":false},"created_at":"2018-03-12T12:33:20Z","updated_at":"2018-03-12T12:33:20Z","author_association":"CONTRIBUTOR","body":"@tautschnig Thanks for the investigation - the issues you pointed out have actually been fixed already in the dependent PR #1913. I've added the label Do not merge to indicate that despite approval this is not actually ready to go int yet. "}}
{"actor":{"display_login":"thk123"}}