{"action":"opened","issue":{"url":"https://api.github.com/repos/delcypher/fp-benchmarks-imperial/issues/10","repository_url":"https://api.github.com/repos/delcypher/fp-benchmarks-imperial","labels_url":"https://api.github.com/repos/delcypher/fp-benchmarks-imperial/issues/10/labels{/name}","comments_url":"https://api.github.com/repos/delcypher/fp-benchmarks-imperial/issues/10/comments","events_url":"https://api.github.com/repos/delcypher/fp-benchmarks-imperial/issues/10/events","html_url":"https://github.com/delcypher/fp-benchmarks-imperial/issues/10","id":196083184,"number":10,"title":"synthetic/sum_is_not_associative_non_klee_bug.x86_64 produces no assertion failure with the current N","user":{"login":"erzett","id":9295116,"avatar_url":"https://avatars.githubusercontent.com/u/9295116?v=3","gravatar_id":"","url":"https://api.github.com/users/erzett","html_url":"https://github.com/erzett","followers_url":"https://api.github.com/users/erzett/followers","following_url":"https://api.github.com/users/erzett/following{/other_user}","gists_url":"https://api.github.com/users/erzett/gists{/gist_id}","starred_url":"https://api.github.com/users/erzett/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/erzett/subscriptions","organizations_url":"https://api.github.com/users/erzett/orgs","repos_url":"https://api.github.com/users/erzett/repos","events_url":"https://api.github.com/users/erzett/events{/privacy}","received_events_url":"https://api.github.com/users/erzett/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2016-12-16T15:23:55Z","updated_at":"2016-12-16T15:23:55Z","closed_at":null,"body":"This one is a bit more interesting than the last few: With N set to 5, this variant actually runs without failure. The comment in line 55 of sum_is_not_associative.c states that failure is expected with N=400."}}
{"actor":{"display_login":"erzett"}}