{"action":"created","issue":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/732","repository_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks","labels_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/732/labels{/name}","comments_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/732/comments","events_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/732/events","html_url":"https://github.com/sosy-lab/sv-benchmarks/pull/732","id":384880303,"node_id":"MDExOlB1bGxSZXF1ZXN0MjMzOTc4MTc4","number":732,"title":"Add dummies for undefined functions in ldv-linux-3.0","user":{"login":"PavelAndrianov","id":1652848,"node_id":"MDQ6VXNlcjE2NTI4NDg=","avatar_url":"https://avatars2.githubusercontent.com/u/1652848?v=4","gravatar_id":"","url":"https://api.github.com/users/PavelAndrianov","html_url":"https://github.com/PavelAndrianov","followers_url":"https://api.github.com/users/PavelAndrianov/followers","following_url":"https://api.github.com/users/PavelAndrianov/following{/other_user}","gists_url":"https://api.github.com/users/PavelAndrianov/gists{/gist_id}","starred_url":"https://api.github.com/users/PavelAndrianov/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/PavelAndrianov/subscriptions","organizations_url":"https://api.github.com/users/PavelAndrianov/orgs","repos_url":"https://api.github.com/users/PavelAndrianov/repos","events_url":"https://api.github.com/users/PavelAndrianov/events{/privacy}","received_events_url":"https://api.github.com/users/PavelAndrianov/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-11-27T16:31:02Z","updated_at":"2018-11-28T14:01:36Z","closed_at":"2018-11-27T17:07:30Z","author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/pulls/732","html_url":"https://github.com/sosy-lab/sv-benchmarks/pull/732","diff_url":"https://github.com/sosy-lab/sv-benchmarks/pull/732.diff","patch_url":"https://github.com/sosy-lab/sv-benchmarks/pull/732.patch"},"body":"Dummies for undefined functions in ldv-linux-3.0/. Some changed verdicts are ignored, as explainable (true -> timeout), others are placed in todo/.\r\nAlso rename benchmarks, using common suffix: cil.out.c/i instead of cil.out.i.pp.i\r\nRelated to #613 and #717."},"comment":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/comments/442456773","html_url":"https://github.com/sosy-lab/sv-benchmarks/pull/732#issuecomment-442456773","issue_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/732","id":442456773,"node_id":"MDEyOklzc3VlQ29tbWVudDQ0MjQ1Njc3Mw==","user":{"login":"kfriedberger","id":10998542,"node_id":"MDQ6VXNlcjEwOTk4NTQy","avatar_url":"https://avatars2.githubusercontent.com/u/10998542?v=4","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":"2018-11-28T14:01:36Z","updated_at":"2018-11-28T14:01:36Z","author_association":"MEMBER","body":"The merge breaks some code and causes a failing CI.\r\n"}}
{"actor":{"display_login":"kfriedberger"}}