{"action":"created","issue":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/283","repository_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks","labels_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/283/labels{/name}","comments_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/283/comments","events_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/283/events","html_url":"https://github.com/sosy-lab/sv-benchmarks/pull/283","id":192311075,"number":283,"title":"Remove calls to __VERIFIER_nondet_pointer() from ldv-regression/test*.c","user":{"login":"mikhailramalho","id":1328287,"avatar_url":"https://avatars.githubusercontent.com/u/1328287?v=3","gravatar_id":"","url":"https://api.github.com/users/mikhailramalho","html_url":"https://github.com/mikhailramalho","followers_url":"https://api.github.com/users/mikhailramalho/followers","following_url":"https://api.github.com/users/mikhailramalho/following{/other_user}","gists_url":"https://api.github.com/users/mikhailramalho/gists{/gist_id}","starred_url":"https://api.github.com/users/mikhailramalho/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mikhailramalho/subscriptions","organizations_url":"https://api.github.com/users/mikhailramalho/orgs","repos_url":"https://api.github.com/users/mikhailramalho/repos","events_url":"https://api.github.com/users/mikhailramalho/events{/privacy}","received_events_url":"https://api.github.com/users/mikhailramalho/received_events","type":"User","site_admin":false},"labels":[{"id":472360268,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/labels/issue%20with%20benchmark","name":"issue with benchmark","color":"d93f0b","default":false}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":11,"created_at":"2016-11-29T15:23:35Z","updated_at":"2016-12-07T14:37:34Z","closed_at":"2016-12-07T14:37:03Z","pull_request":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/pulls/283","html_url":"https://github.com/sosy-lab/sv-benchmarks/pull/283","diff_url":"https://github.com/sosy-lab/sv-benchmarks/pull/283.diff","patch_url":"https://github.com/sosy-lab/sv-benchmarks/pull/283.patch"},"body":"I removed the nondet_pointer calls and replaced them with an static variable and nondet initialization of its content.\r\n\r\nI decided to use the static variable instead of malloc'ing to avoid memory leak. The programs use goto statements to jump to the __VERIFIER_error() function call, so by using a static variable we avoid changing too much the program."},"comment":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/comments/265462971","html_url":"https://github.com/sosy-lab/sv-benchmarks/pull/283#issuecomment-265462971","issue_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/283","id":265462971,"user":{"login":"kfriedberger","id":10998542,"avatar_url":"https://avatars.githubusercontent.com/u/10998542?v=3","gravatar_id":"","url":"https://api.github.com/users/kfriedberger","html_url":"https://github.com/kfriedberger","followers_url":"https://api.github.com/users/kfriedberger/followers","following_url":"https://api.github.com/users/kfriedberger/following{/other_user}","gists_url":"https://api.github.com/users/kfriedberger/gists{/gist_id}","starred_url":"https://api.github.com/users/kfriedberger/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kfriedberger/subscriptions","organizations_url":"https://api.github.com/users/kfriedberger/orgs","repos_url":"https://api.github.com/users/kfriedberger/repos","events_url":"https://api.github.com/users/kfriedberger/events{/privacy}","received_events_url":"https://api.github.com/users/kfriedberger/received_events","type":"User","site_admin":false},"created_at":"2016-12-07T14:37:33Z","updated_at":"2016-12-07T14:37:33Z","body":"@mikhailramalho \r\nok, merged."}}
{"actor":{"display_login":"kfriedberger"}}