{"action":"created","issue":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/442","repository_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks","labels_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/442/labels{/name}","comments_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/442/comments","events_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/442/events","html_url":"https://github.com/sosy-lab/sv-benchmarks/issues/442","id":200354600,"number":442,"title":"float-benchs/inv_Newton_true-unreach-call.c is false-unreach-call","user":{"login":"tautschnig","id":1144736,"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},"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":"open","locked":false,"assignee":{"login":"tautschnig","id":1144736,"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},"assignees":[{"login":"tautschnig","id":1144736,"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}],"milestone":null,"comments":4,"created_at":"2017-01-12T12:28:01Z","updated_at":"2017-09-06T10:49:24Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"I'm not sure this is the right process as the results are being made available, but it seems the benchmark float-benchs/inv_Newton_true-unreach-call.c should have a verdict of \"false.\" The counterexample can be confirmed using\r\n```\r\ndouble __VERIFIER_nondet_double()\r\n{\r\n  union pun { double d; uint64_t u; };\r\n  union pun u;\r\n  u.u=0b0100000000111000000101111010101100110111110001110100111001110010ULL;\r\n  return u.d;\r\n}\r\n```"},"comment":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/comments/327447387","html_url":"https://github.com/sosy-lab/sv-benchmarks/issues/442#issuecomment-327447387","issue_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/442","id":327447387,"user":{"login":"tautschnig","id":1144736,"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":"2017-09-06T10:49:24Z","updated_at":"2017-09-06T10:49:24Z","author_association":"CONTRIBUTOR","body":"I'll take care of this, but can't promise to get it done before Friday (8th Sept). If I don't, I won't be able to look into it before 1st October. Just as a heads-up."}}
{"actor":{"display_login":"tautschnig"}}