{"action":"created","issue":{"url":"https://api.github.com/repos/diffblue/cbmc/issues/1946","repository_url":"https://api.github.com/repos/diffblue/cbmc","labels_url":"https://api.github.com/repos/diffblue/cbmc/issues/1946/labels{/name}","comments_url":"https://api.github.com/repos/diffblue/cbmc/issues/1946/comments","events_url":"https://api.github.com/repos/diffblue/cbmc/issues/1946/events","html_url":"https://github.com/diffblue/cbmc/pull/1946","id":306520413,"number":1946,"title":"Unit tests for invokedynamic with static lambdas [TG-1811]","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":4,"created_at":"2018-03-19T15:49:50Z","updated_at":"2018-03-26T11:39:29Z","closed_at":null,"author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/diffblue/cbmc/pulls/1946","html_url":"https://github.com/diffblue/cbmc/pull/1946","diff_url":"https://github.com/diffblue/cbmc/pull/1946.diff","patch_url":"https://github.com/diffblue/cbmc/pull/1946.patch"},"body":"Depends on: #1937\r\nReal diff: https://github.com/diffblue/cbmc/pull/1946/files/dbb6a8d64aef7022a1f90affa4225b09cac175f8..a2f9dbec9e7c8b4ebbb172457a41acf059aecc96\r\n\r\nIntroduces unit tests for how the `invokedynamic` instruction is translated into codet. They are not turned on, but their behaviour is moddelled on what the codet looks like for\r\n\r\n```java\r\nSimpleLambda simpleLambda = new SimpleLambda() {\r\n  public void Execute() {\r\n    callStaticMethod();\r\n  }\r\n};\r\n```\r\n\r\nWhich is the intended format. I can if it would be helpful split out some of the utility changes from the test introduction, but the changes are all separated by commits and the order provides some motivation for the auxiliary changes. "},"comment":{"url":"https://api.github.com/repos/diffblue/cbmc/issues/comments/376136700","html_url":"https://github.com/diffblue/cbmc/pull/1946#issuecomment-376136700","issue_url":"https://api.github.com/repos/diffblue/cbmc/issues/1946","id":376136700,"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-26T11:39:29Z","updated_at":"2018-03-26T11:39:29Z","author_association":"CONTRIBUTOR","body":"Should extend to test:\r\n\r\n - class_hierachy correctly detects that the new class extends the interface\r\n - check has correct fields\r\n - check `@class_identifier` is set correctly\r\n\r\nAs the tests pass with prototype code but don't yet work"}}
{"actor":{"display_login":"thk123"}}