{"action":"created","issue":{"url":"https://api.github.com/repos/diffblue/cbmc/issues/3129","repository_url":"https://api.github.com/repos/diffblue/cbmc","labels_url":"https://api.github.com/repos/diffblue/cbmc/issues/3129/labels{/name}","comments_url":"https://api.github.com/repos/diffblue/cbmc/issues/3129/comments","events_url":"https://api.github.com/repos/diffblue/cbmc/issues/3129/events","html_url":"https://github.com/diffblue/cbmc/pull/3129","id":368305873,"node_id":"MDExOlB1bGxSZXF1ZXN0MjIxNTE0MTA3","number":3129,"title":"Functions for outputting options","user":{"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},"labels":[],"state":"open","locked":false,"assignee":{"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},"assignees":[{"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}],"milestone":null,"comments":9,"created_at":"2018-10-09T16:57:09Z","updated_at":"2018-10-22T07:40:22Z","closed_at":null,"author_association":"MEMBER","pull_request":{"url":"https://api.github.com/repos/diffblue/cbmc/pulls/3129","html_url":"https://github.com/diffblue/cbmc/pull/3129","diff_url":"https://github.com/diffblue/cbmc/pull/3129.diff","patch_url":"https://github.com/diffblue/cbmc/pull/3129.patch"},"body":"This can be used to output the options set at the beginning\r\nof an analysis in order to understand the settings.\r\n\r\n- [X] Each commit message has a non-empty body, explaining why the change was made.\r\n- [X] My contribution is formatted in line with CODING_STANDARD.md.\r\n- [X] Methods or procedures I have added are documented, following the guidelines provided in CODING_STANDARD.md.\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- [X] 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"},"comment":{"url":"https://api.github.com/repos/diffblue/cbmc/issues/comments/431762174","html_url":"https://github.com/diffblue/cbmc/pull/3129#issuecomment-431762174","issue_url":"https://api.github.com/repos/diffblue/cbmc/issues/3129","id":431762174,"node_id":"MDEyOklzc3VlQ29tbWVudDQzMTc2MjE3NA==","user":{"login":"tautschnig","id":1144736,"node_id":"MDQ6VXNlcjExNDQ3MzY=","avatar_url":"https://avatars3.githubusercontent.com/u/1144736?v=4","gravatar_id":"","url":"https://api.github.com/users/tautschnig","html_url":"https://github.com/tautschnig","followers_url":"https://api.github.com/users/tautschnig/followers","following_url":"https://api.github.com/users/tautschnig/following{/other_user}","gists_url":"https://api.github.com/users/tautschnig/gists{/gist_id}","starred_url":"https://api.github.com/users/tautschnig/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tautschnig/subscriptions","organizations_url":"https://api.github.com/users/tautschnig/orgs","repos_url":"https://api.github.com/users/tautschnig/repos","events_url":"https://api.github.com/users/tautschnig/events{/privacy}","received_events_url":"https://api.github.com/users/tautschnig/received_events","type":"User","site_admin":false},"created_at":"2018-10-22T07:40:22Z","updated_at":"2018-10-22T07:40:22Z","author_association":"COLLABORATOR","body":"@peterschrammel: That newly added test is failing, it seems the options are not actually printed."}}
{"actor":{"display_login":"tautschnig"}}