{"action":"created","comment":{"url":"https://api.github.com/repos/diffblue/cbmc/pulls/comments/243554656","pull_request_review_id":187357033,"id":243554656,"node_id":"MDI0OlB1bGxSZXF1ZXN0UmV2aWV3Q29tbWVudDI0MzU1NDY1Ng==","diff_hunk":"@@ -8,6 +8,11 @@ Author: Diffblue Ltd.\n \n #include \"generate_function_bodies.h\"\n \n+#include <ansi-c/c_nondet_symbol_factory.h>\n+#include <ansi-c/c_object_factory_parameters.h>","path":"src/goto-programs/generate_function_bodies.cpp","position":5,"original_position":5,"commit_id":"325716513b9f99e79885a44d4b14305d3c262833","original_commit_id":"e605b570a7d757eb7eb984f66534d06560edce3f","user":{"login":"danpoe","id":6138051,"node_id":"MDQ6VXNlcjYxMzgwNTE=","avatar_url":"https://avatars1.githubusercontent.com/u/6138051?v=4","gravatar_id":"","url":"https://api.github.com/users/danpoe","html_url":"https://github.com/danpoe","followers_url":"https://api.github.com/users/danpoe/followers","following_url":"https://api.github.com/users/danpoe/following{/other_user}","gists_url":"https://api.github.com/users/danpoe/gists{/gist_id}","starred_url":"https://api.github.com/users/danpoe/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/danpoe/subscriptions","organizations_url":"https://api.github.com/users/danpoe/orgs","repos_url":"https://api.github.com/users/danpoe/repos","events_url":"https://api.github.com/users/danpoe/events{/privacy}","received_events_url":"https://api.github.com/users/danpoe/received_events","type":"User","site_admin":false},"body":"The last commit actually moves the function body generation from `goto-programs` to `goto-instrument`.","created_at":"2018-12-21T11:12:56Z","updated_at":"2018-12-21T11:12:57Z","html_url":"https://github.com/diffblue/cbmc/pull/3455#discussion_r243554656","pull_request_url":"https://api.github.com/repos/diffblue/cbmc/pulls/3455","author_association":"MEMBER","_links":{"self":{"href":"https://api.github.com/repos/diffblue/cbmc/pulls/comments/243554656"},"html":{"href":"https://github.com/diffblue/cbmc/pull/3455#discussion_r243554656"},"pull_request":{"href":"https://api.github.com/repos/diffblue/cbmc/pulls/3455"}},"in_reply_to_id":243552060},"pull_request":{"url":"https://api.github.com/repos/diffblue/cbmc/pulls/3455","id":232994310,"node_id":"MDExOlB1bGxSZXF1ZXN0MjMyOTk0MzEw","html_url":"https://github.com/diffblue/cbmc/pull/3455","diff_url":"https://github.com/diffblue/cbmc/pull/3455.diff","patch_url":"https://github.com/diffblue/cbmc/pull/3455.patch","issue_url":"https://api.github.com/repos/diffblue/cbmc/issues/3455","number":3455,"state":"open","locked":false,"title":"Generate function bodies that nondet havoc the function arguments [blocks: #3457]","user":{"login":"danpoe","id":6138051,"node_id":"MDQ6VXNlcjYxMzgwNTE=","avatar_url":"https://avatars1.githubusercontent.com/u/6138051?v=4","gravatar_id":"","url":"https://api.github.com/users/danpoe","html_url":"https://github.com/danpoe","followers_url":"https://api.github.com/users/danpoe/followers","following_url":"https://api.github.com/users/danpoe/following{/other_user}","gists_url":"https://api.github.com/users/danpoe/gists{/gist_id}","starred_url":"https://api.github.com/users/danpoe/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/danpoe/subscriptions","organizations_url":"https://api.github.com/users/danpoe/orgs","repos_url":"https://api.github.com/users/danpoe/repos","events_url":"https://api.github.com/users/danpoe/events{/privacy}","received_events_url":"https://api.github.com/users/danpoe/received_events","type":"User","site_admin":false},"body":"<!---\r\nThank you for your contribution. Please make sure your pull request fulfils all of the below requirements. If you cannot currently tick all the boxes, but would still like to create a PR, then add the label \"work in progress\" and assign the PR to yourself.\r\n--->\r\n\r\n- [ ] Each commit message has a non-empty body, explaining why the change was made.\r\n- [x] Methods or procedures I have added are documented, following the guidelines provided in CODING_STANDARD.md.\r\n- [ ] The feature or user visible behaviour I have added or modified has been documented in the User Guide in doc/cprover-manual/\r\n- [x] Regression or unit tests are included, or existing tests cover the modified code (in this case I have detailed which ones those are in the commit message).\r\n- n/a My commit message includes data points confirming performance improvements (if claimed).\r\n- [x] My PR is restricted to a single feature or bugfix.\r\n- [x] White-space or formatting changes outside the feature-related changed lines are in commits of their own.\r\n\r\n<!---\r\nSee, e.g., https://chris.beams.io/posts/git-commit/ for general guidelines on commit messages.\r\n\r\nIf you have created commits mixing multiple features and/or unrelated white-space changes, use a sequence involving git reset and git add -p to fix this.\r\n--->\r\n","created_at":"2018-11-22T14:17:28Z","updated_at":"2018-12-21T11:12:57Z","closed_at":null,"merged_at":null,"merge_commit_sha":"f90d7dc39a4ff821bc50bfb2f65c29b9e2d9c6b4","assignee":{"login":"danpoe","id":6138051,"node_id":"MDQ6VXNlcjYxMzgwNTE=","avatar_url":"https://avatars1.githubusercontent.com/u/6138051?v=4","gravatar_id":"","url":"https://api.github.com/users/danpoe","html_url":"https://github.com/danpoe","followers_url":"https://api.github.com/users/danpoe/followers","following_url":"https://api.github.com/users/danpoe/following{/other_user}","gists_url":"https://api.github.com/users/danpoe/gists{/gist_id}","starred_url":"https://api.github.com/users/danpoe/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/danpoe/subscriptions","organizations_url":"https://api.github.com/users/danpoe/orgs","repos_url":"https://api.github.com/users/danpoe/repos","events_url":"https://api.github.com/users/danpoe/events{/privacy}","received_events_url":"https://api.github.com/users/danpoe/received_events","type":"User","site_admin":false},"assignees":[{"login":"danpoe","id":6138051,"node_id":"MDQ6VXNlcjYxMzgwNTE=","avatar_url":"https://avatars1.githubusercontent.com/u/6138051?v=4","gravatar_id":"","url":"https://api.github.com/users/danpoe","html_url":"https://github.com/danpoe","followers_url":"https://api.github.com/users/danpoe/followers","following_url":"https://api.github.com/users/danpoe/following{/other_user}","gists_url":"https://api.github.com/users/danpoe/gists{/gist_id}","starred_url":"https://api.github.com/users/danpoe/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/danpoe/subscriptions","organizations_url":"https://api.github.com/users/danpoe/orgs","repos_url":"https://api.github.com/users/danpoe/repos","events_url":"https://api.github.com/users/danpoe/events{/privacy}","received_events_url":"https://api.github.com/users/danpoe/received_events","type":"User","site_admin":false}],"requested_reviewers":[{"login":"cesaro","id":143977,"node_id":"MDQ6VXNlcjE0Mzk3Nw==","avatar_url":"https://avatars1.githubusercontent.com/u/143977?v=4","gravatar_id":"","url":"https://api.github.com/users/cesaro","html_url":"https://github.com/cesaro","followers_url":"https://api.github.com/users/cesaro/followers","following_url":"https://api.github.com/users/cesaro/following{/other_user}","gists_url":"https://api.github.com/users/cesaro/gists{/gist_id}","starred_url":"https://api.github.com/users/cesaro/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cesaro/subscriptions","organizations_url":"https://api.github.com/users/cesaro/orgs","repos_url":"https://api.github.com/users/cesaro/repos","events_url":"https://api.github.com/users/cesaro/events{/privacy}","received_events_url":"https://api.github.com/users/cesaro/received_events","type":"User","site_admin":false},{"login":"smowton","id":283483,"node_id":"MDQ6VXNlcjI4MzQ4Mw==","avatar_url":"https://avatars3.githubusercontent.com/u/283483?v=4","gravatar_id":"","url":"https://api.github.com/users/smowton","html_url":"https://github.com/smowton","followers_url":"https://api.github.com/users/smowton/followers","following_url":"https://api.github.com/users/smowton/following{/other_user}","gists_url":"https://api.github.com/users/smowton/gists{/gist_id}","starred_url":"https://api.github.com/users/smowton/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/smowton/subscriptions","organizations_url":"https://api.github.com/users/smowton/orgs","repos_url":"https://api.github.com/users/smowton/repos","events_url":"https://api.github.com/users/smowton/events{/privacy}","received_events_url":"https://api.github.com/users/smowton/received_events","type":"User","site_admin":false},{"login":"thk123","id":638608,"node_id":"MDQ6VXNlcjYzODYwOA==","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},{"login":"kroening","id":1830565,"node_id":"MDQ6VXNlcjE4MzA1NjU=","avatar_url":"https://avatars0.githubusercontent.com/u/1830565?v=4","gravatar_id":"","url":"https://api.github.com/users/kroening","html_url":"https://github.com/kroening","followers_url":"https://api.github.com/users/kroening/followers","following_url":"https://api.github.com/users/kroening/following{/other_user}","gists_url":"https://api.github.com/users/kroening/gists{/gist_id}","starred_url":"https://api.github.com/users/kroening/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kroening/subscriptions","organizations_url":"https://api.github.com/users/kroening/orgs","repos_url":"https://api.github.com/users/kroening/repos","events_url":"https://api.github.com/users/kroening/events{/privacy}","received_events_url":"https://api.github.com/users/kroening/received_events","type":"User","site_admin":false},{"login":"NathanJPhillips","id":1928141,"node_id":"MDQ6VXNlcjE5MjgxNDE=","avatar_url":"https://avatars0.githubusercontent.com/u/1928141?v=4","gravatar_id":"","url":"https://api.github.com/users/NathanJPhillips","html_url":"https://github.com/NathanJPhillips","followers_url":"https://api.github.com/users/NathanJPhillips/followers","following_url":"https://api.github.com/users/NathanJPhillips/following{/other_user}","gists_url":"https://api.github.com/users/NathanJPhillips/gists{/gist_id}","starred_url":"https://api.github.com/users/NathanJPhillips/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/NathanJPhillips/subscriptions","organizations_url":"https://api.github.com/users/NathanJPhillips/orgs","repos_url":"https://api.github.com/users/NathanJPhillips/repos","events_url":"https://api.github.com/users/NathanJPhillips/events{/privacy}","received_events_url":"https://api.github.com/users/NathanJPhillips/received_events","type":"User","site_admin":false},{"login":"peterschrammel","id":4222448,"node_id":"MDQ6VXNlcjQyMjI0NDg=","avatar_url":"https://avatars3.githubusercontent.com/u/4222448?v=4","gravatar_id":"","url":"https://api.github.com/users/peterschrammel","html_url":"https://github.com/peterschrammel","followers_url":"https://api.github.com/users/peterschrammel/followers","following_url":"https://api.github.com/users/peterschrammel/following{/other_user}","gists_url":"https://api.github.com/users/peterschrammel/gists{/gist_id}","starred_url":"https://api.github.com/users/peterschrammel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/peterschrammel/subscriptions","organizations_url":"https://api.github.com/users/peterschrammel/orgs","repos_url":"https://api.github.com/users/peterschrammel/repos","events_url":"https://api.github.com/users/peterschrammel/events{/privacy}","received_events_url":"https://api.github.com/users/peterschrammel/received_events","type":"User","site_admin":false},{"login":"forejtv","id":4534293,"node_id":"MDQ6VXNlcjQ1MzQyOTM=","avatar_url":"https://avatars3.githubusercontent.com/u/4534293?v=4","gravatar_id":"","url":"https://api.github.com/users/forejtv","html_url":"https://github.com/forejtv","followers_url":"https://api.github.com/users/forejtv/followers","following_url":"https://api.github.com/users/forejtv/following{/other_user}","gists_url":"https://api.github.com/users/forejtv/gists{/gist_id}","starred_url":"https://api.github.com/users/forejtv/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/forejtv/subscriptions","organizations_url":"https://api.github.com/users/forejtv/orgs","repos_url":"https://api.github.com/users/forejtv/repos","events_url":"https://api.github.com/users/forejtv/events{/privacy}","received_events_url":"https://api.github.com/users/forejtv/received_events","type":"User","site_admin":false},{"login":"martin-cs","id":5333188,"node_id":"MDQ6VXNlcjUzMzMxODg=","avatar_url":"https://avatars0.githubusercontent.com/u/5333188?v=4","gravatar_id":"","url":"https://api.github.com/users/martin-cs","html_url":"https://github.com/martin-cs","followers_url":"https://api.github.com/users/martin-cs/followers","following_url":"https://api.github.com/users/martin-cs/following{/other_user}","gists_url":"https://api.github.com/users/martin-cs/gists{/gist_id}","starred_url":"https://api.github.com/users/martin-cs/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/martin-cs/subscriptions","organizations_url":"https://api.github.com/users/martin-cs/orgs","repos_url":"https://api.github.com/users/martin-cs/repos","events_url":"https://api.github.com/users/martin-cs/events{/privacy}","received_events_url":"https://api.github.com/users/martin-cs/received_events","type":"User","site_admin":false},{"login":"cristina-david","id":5973782,"node_id":"MDQ6VXNlcjU5NzM3ODI=","avatar_url":"https://avatars2.githubusercontent.com/u/5973782?v=4","gravatar_id":"","url":"https://api.github.com/users/cristina-david","html_url":"https://github.com/cristina-david","followers_url":"https://api.github.com/users/cristina-david/followers","following_url":"https://api.github.com/users/cristina-david/following{/other_user}","gists_url":"https://api.github.com/users/cristina-david/gists{/gist_id}","starred_url":"https://api.github.com/users/cristina-david/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cristina-david/subscriptions","organizations_url":"https://api.github.com/users/cristina-david/orgs","repos_url":"https://api.github.com/users/cristina-david/repos","events_url":"https://api.github.com/users/cristina-david/events{/privacy}","received_events_url":"https://api.github.com/users/cristina-david/received_events","type":"User","site_admin":false},{"login":"pkesseli","id":7579289,"node_id":"MDQ6VXNlcjc1NzkyODk=","avatar_url":"https://avatars3.githubusercontent.com/u/7579289?v=4","gravatar_id":"","url":"https://api.github.com/users/pkesseli","html_url":"https://github.com/pkesseli","followers_url":"https://api.github.com/users/pkesseli/followers","following_url":"https://api.github.com/users/pkesseli/following{/other_user}","gists_url":"https://api.github.com/users/pkesseli/gists{/gist_id}","starred_url":"https://api.github.com/users/pkesseli/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/pkesseli/subscriptions","organizations_url":"https://api.github.com/users/pkesseli/orgs","repos_url":"https://api.github.com/users/pkesseli/repos","events_url":"https://api.github.com/users/pkesseli/events{/privacy}","received_events_url":"https://api.github.com/users/pkesseli/received_events","type":"User","site_admin":false},{"login":"chrisr-diffblue","id":32060010,"node_id":"MDQ6VXNlcjMyMDYwMDEw","avatar_url":"https://avatars2.githubusercontent.com/u/32060010?v=4","gravatar_id":"","url":"https://api.github.com/users/chrisr-diffblue","html_url":"https://github.com/chrisr-diffblue","followers_url":"https://api.github.com/users/chrisr-diffblue/followers","following_url":"https://api.github.com/users/chrisr-diffblue/following{/other_user}","gists_url":"https://api.github.com/users/chrisr-diffblue/gists{/gist_id}","starred_url":"https://api.github.com/users/chrisr-diffblue/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/chrisr-diffblue/subscriptions","organizations_url":"https://api.github.com/users/chrisr-diffblue/orgs","repos_url":"https://api.github.com/users/chrisr-diffblue/repos","events_url":"https://api.github.com/users/chrisr-diffblue/events{/privacy}","received_events_url":"https://api.github.com/users/chrisr-diffblue/received_events","type":"User","site_admin":false}],"requested_teams":[],"labels":[{"id":1119028193,"node_id":"MDU6TGFiZWwxMTE5MDI4MTkz","url":"https://api.github.com/repos/diffblue/cbmc/labels/blocker","name":"blocker","color":"0818a5","default":false}],"milestone":null,"commits_url":"https://api.github.com/repos/diffblue/cbmc/pulls/3455/commits","review_comments_url":"https://api.github.com/repos/diffblue/cbmc/pulls/3455/comments","review_comment_url":"https://api.github.com/repos/diffblue/cbmc/pulls/comments{/number}","comments_url":"https://api.github.com/repos/diffblue/cbmc/issues/3455/comments","statuses_url":"https://api.github.com/repos/diffblue/cbmc/statuses/325716513b9f99e79885a44d4b14305d3c262833","head":{"label":"danpoe:feature/nondet-function-argument-targets","ref":"feature/nondet-function-argument-targets","sha":"325716513b9f99e79885a44d4b14305d3c262833","user":{"login":"danpoe","id":6138051,"node_id":"MDQ6VXNlcjYxMzgwNTE=","avatar_url":"https://avatars1.githubusercontent.com/u/6138051?v=4","gravatar_id":"","url":"https://api.github.com/users/danpoe","html_url":"https://github.com/danpoe","followers_url":"https://api.github.com/users/danpoe/followers","following_url":"https://api.github.com/users/danpoe/following{/other_user}","gists_url":"https://api.github.com/users/danpoe/gists{/gist_id}","starred_url":"https://api.github.com/users/danpoe/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/danpoe/subscriptions","organizations_url":"https://api.github.com/users/danpoe/orgs","repos_url":"https://api.github.com/users/danpoe/repos","events_url":"https://api.github.com/users/danpoe/events{/privacy}","received_events_url":"https://api.github.com/users/danpoe/received_events","type":"User","site_admin":false},"repo":{"id":61132518,"node_id":"MDEwOlJlcG9zaXRvcnk2MTEzMjUxOA==","name":"cbmc","full_name":"danpoe/cbmc","private":false,"owner":{"login":"danpoe","id":6138051,"node_id":"MDQ6VXNlcjYxMzgwNTE=","avatar_url":"https://avatars1.githubusercontent.com/u/6138051?v=4","gravatar_id":"","url":"https://api.github.com/users/danpoe","html_url":"https://github.com/danpoe","followers_url":"https://api.github.com/users/danpoe/followers","following_url":"https://api.github.com/users/danpoe/following{/other_user}","gists_url":"https://api.github.com/users/danpoe/gists{/gist_id}","starred_url":"https://api.github.com/users/danpoe/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/danpoe/subscriptions","organizations_url":"https://api.github.com/users/danpoe/orgs","repos_url":"https://api.github.com/users/danpoe/repos","events_url":"https://api.github.com/users/danpoe/events{/privacy}","received_events_url":"https://api.github.com/users/danpoe/received_events","type":"User","site_admin":false},"html_url":"https://github.com/danpoe/cbmc","description":"C Bounded Model Checker","fork":true,"url":"https://api.github.com/repos/danpoe/cbmc","forks_url":"https://api.github.com/repos/danpoe/cbmc/forks","keys_url":"https://api.github.com/repos/danpoe/cbmc/keys{/key_id}","collaborators_url":"https://api.github.com/repos/danpoe/cbmc/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/danpoe/cbmc/teams","hooks_url":"https://api.github.com/repos/danpoe/cbmc/hooks","issue_events_url":"https://api.github.com/repos/danpoe/cbmc/issues/events{/number}","events_url":"https://api.github.com/repos/danpoe/cbmc/events","assignees_url":"https://api.github.com/repos/danpoe/cbmc/assignees{/user}","branches_url":"https://api.github.com/repos/danpoe/cbmc/branches{/branch}","tags_url":"https://api.github.com/repos/danpoe/cbmc/tags","blobs_url":"https://api.github.com/repos/danpoe/cbmc/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/danpoe/cbmc/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/danpoe/cbmc/git/refs{/sha}","trees_url":"https://api.github.com/repos/danpoe/cbmc/git/trees{/sha}","statuses_url":"https://api.github.com/repos/danpoe/cbmc/statuses/{sha}","languages_url":"https://api.github.com/repos/danpoe/cbmc/languages","stargazers_url":"https://api.github.com/repos/danpoe/cbmc/stargazers","contributors_url":"https://api.github.com/repos/danpoe/cbmc/contributors","subscribers_url":"https://api.github.com/repos/danpoe/cbmc/subscribers","subscription_url":"https://api.github.com/repos/danpoe/cbmc/subscription","commits_url":"https://api.github.com/repos/danpoe/cbmc/commits{/sha}","git_commits_url":"https://api.github.com/repos/danpoe/cbmc/git/commits{/sha}","comments_url":"https://api.github.com/repos/danpoe/cbmc/comments{/number}","issue_comment_url":"https://api.github.com/repos/danpoe/cbmc/issues/comments{/number}","contents_url":"https://api.github.com/repos/danpoe/cbmc/contents/{+path}","compare_url":"https://api.github.com/repos/danpoe/cbmc/compare/{base}...{head}","merges_url":"https://api.github.com/repos/danpoe/cbmc/merges","archive_url":"https://api.github.com/repos/danpoe/cbmc/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/danpoe/cbmc/downloads","issues_url":"https://api.github.com/repos/danpoe/cbmc/issues{/number}","pulls_url":"https://api.github.com/repos/danpoe/cbmc/pulls{/number}","milestones_url":"https://api.github.com/repos/danpoe/cbmc/milestones{/number}","notifications_url":"https://api.github.com/repos/danpoe/cbmc/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/danpoe/cbmc/labels{/name}","releases_url":"https://api.github.com/repos/danpoe/cbmc/releases{/id}","deployments_url":"https://api.github.com/repos/danpoe/cbmc/deployments","created_at":"2016-06-14T15:05:28Z","updated_at":"2016-06-14T15:05:36Z","pushed_at":"2018-12-20T11:11:19Z","git_url":"git://github.com/danpoe/cbmc.git","ssh_url":"git@github.com:danpoe/cbmc.git","clone_url":"https://github.com/danpoe/cbmc.git","svn_url":"https://github.com/danpoe/cbmc","homepage":"http://www.cprover.org/cbmc","size":38981,"stargazers_count":0,"watchers_count":0,"language":"C++","has_issues":false,"has_projects":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":0,"mirror_url":null,"archived":false,"open_issues_count":4,"license":{"key":"other","name":"Other","spdx_id":"NOASSERTION","url":null,"node_id":"MDc6TGljZW5zZTA="},"forks":0,"open_issues":4,"watchers":0,"default_branch":"master"}},"base":{"label":"diffblue:develop","ref":"develop","sha":"9133f755c02ce002f87568e29454612bddad8462","user":{"login":"diffblue","id":17216098,"node_id":"MDEyOk9yZ2FuaXphdGlvbjE3MjE2MDk4","avatar_url":"https://avatars0.githubusercontent.com/u/17216098?v=4","gravatar_id":"","url":"https://api.github.com/users/diffblue","html_url":"https://github.com/diffblue","followers_url":"https://api.github.com/users/diffblue/followers","following_url":"https://api.github.com/users/diffblue/following{/other_user}","gists_url":"https://api.github.com/users/diffblue/gists{/gist_id}","starred_url":"https://api.github.com/users/diffblue/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/diffblue/subscriptions","organizations_url":"https://api.github.com/users/diffblue/orgs","repos_url":"https://api.github.com/users/diffblue/repos","events_url":"https://api.github.com/users/diffblue/events{/privacy}","received_events_url":"https://api.github.com/users/diffblue/received_events","type":"Organization","site_admin":false},"repo":{"id":51877056,"node_id":"MDEwOlJlcG9zaXRvcnk1MTg3NzA1Ng==","name":"cbmc","full_name":"diffblue/cbmc","private":false,"owner":{"login":"diffblue","id":17216098,"node_id":"MDEyOk9yZ2FuaXphdGlvbjE3MjE2MDk4","avatar_url":"https://avatars0.githubusercontent.com/u/17216098?v=4","gravatar_id":"","url":"https://api.github.com/users/diffblue","html_url":"https://github.com/diffblue","followers_url":"https://api.github.com/users/diffblue/followers","following_url":"https://api.github.com/users/diffblue/following{/other_user}","gists_url":"https://api.github.com/users/diffblue/gists{/gist_id}","starred_url":"https://api.github.com/users/diffblue/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/diffblue/subscriptions","organizations_url":"https://api.github.com/users/diffblue/orgs","repos_url":"https://api.github.com/users/diffblue/repos","events_url":"https://api.github.com/users/diffblue/events{/privacy}","received_events_url":"https://api.github.com/users/diffblue/received_events","type":"Organization","site_admin":false},"html_url":"https://github.com/diffblue/cbmc","description":"C Bounded Model Checker","fork":false,"url":"https://api.github.com/repos/diffblue/cbmc","forks_url":"https://api.github.com/repos/diffblue/cbmc/forks","keys_url":"https://api.github.com/repos/diffblue/cbmc/keys{/key_id}","collaborators_url":"https://api.github.com/repos/diffblue/cbmc/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/diffblue/cbmc/teams","hooks_url":"https://api.github.com/repos/diffblue/cbmc/hooks","issue_events_url":"https://api.github.com/repos/diffblue/cbmc/issues/events{/number}","events_url":"https://api.github.com/repos/diffblue/cbmc/events","assignees_url":"https://api.github.com/repos/diffblue/cbmc/assignees{/user}","branches_url":"https://api.github.com/repos/diffblue/cbmc/branches{/branch}","tags_url":"https://api.github.com/repos/diffblue/cbmc/tags","blobs_url":"https://api.github.com/repos/diffblue/cbmc/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/diffblue/cbmc/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/diffblue/cbmc/git/refs{/sha}","trees_url":"https://api.github.com/repos/diffblue/cbmc/git/trees{/sha}","statuses_url":"https://api.github.com/repos/diffblue/cbmc/statuses/{sha}","languages_url":"https://api.github.com/repos/diffblue/cbmc/languages","stargazers_url":"https://api.github.com/repos/diffblue/cbmc/stargazers","contributors_url":"https://api.github.com/repos/diffblue/cbmc/contributors","subscribers_url":"https://api.github.com/repos/diffblue/cbmc/subscribers","subscription_url":"https://api.github.com/repos/diffblue/cbmc/subscription","commits_url":"https://api.github.com/repos/diffblue/cbmc/commits{/sha}","git_commits_url":"https://api.github.com/repos/diffblue/cbmc/git/commits{/sha}","comments_url":"https://api.github.com/repos/diffblue/cbmc/comments{/number}","issue_comment_url":"https://api.github.com/repos/diffblue/cbmc/issues/comments{/number}","contents_url":"https://api.github.com/repos/diffblue/cbmc/contents/{+path}","compare_url":"https://api.github.com/repos/diffblue/cbmc/compare/{base}...{head}","merges_url":"https://api.github.com/repos/diffblue/cbmc/merges","archive_url":"https://api.github.com/repos/diffblue/cbmc/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/diffblue/cbmc/downloads","issues_url":"https://api.github.com/repos/diffblue/cbmc/issues{/number}","pulls_url":"https://api.github.com/repos/diffblue/cbmc/pulls{/number}","milestones_url":"https://api.github.com/repos/diffblue/cbmc/milestones{/number}","notifications_url":"https://api.github.com/repos/diffblue/cbmc/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/diffblue/cbmc/labels{/name}","releases_url":"https://api.github.com/repos/diffblue/cbmc/releases{/id}","deployments_url":"https://api.github.com/repos/diffblue/cbmc/deployments","created_at":"2016-02-16T23:03:52Z","updated_at":"2018-12-21T11:06:32Z","pushed_at":"2018-12-21T11:10:18Z","git_url":"git://github.com/diffblue/cbmc.git","ssh_url":"git@github.com:diffblue/cbmc.git","clone_url":"https://github.com/diffblue/cbmc.git","svn_url":"https://github.com/diffblue/cbmc","homepage":"http://www.cprover.org/cbmc","size":39811,"stargazers_count":167,"watchers_count":167,"language":"C++","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":113,"mirror_url":null,"archived":false,"open_issues_count":495,"license":{"key":"other","name":"Other","spdx_id":"NOASSERTION","url":null,"node_id":"MDc6TGljZW5zZTA="},"forks":113,"open_issues":495,"watchers":167,"default_branch":"develop"}},"_links":{"self":{"href":"https://api.github.com/repos/diffblue/cbmc/pulls/3455"},"html":{"href":"https://github.com/diffblue/cbmc/pull/3455"},"issue":{"href":"https://api.github.com/repos/diffblue/cbmc/issues/3455"},"comments":{"href":"https://api.github.com/repos/diffblue/cbmc/issues/3455/comments"},"review_comments":{"href":"https://api.github.com/repos/diffblue/cbmc/pulls/3455/comments"},"review_comment":{"href":"https://api.github.com/repos/diffblue/cbmc/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/diffblue/cbmc/pulls/3455/commits"},"statuses":{"href":"https://api.github.com/repos/diffblue/cbmc/statuses/325716513b9f99e79885a44d4b14305d3c262833"}},"author_association":"MEMBER"}}
{"actor":{"display_login":"danpoe"}}