{"action":"created","issue":{"url":"https://api.github.com/repos/klee/klee/issues/1185","repository_url":"https://api.github.com/repos/klee/klee","labels_url":"https://api.github.com/repos/klee/klee/issues/1185/labels{/name}","comments_url":"https://api.github.com/repos/klee/klee/issues/1185/comments","events_url":"https://api.github.com/repos/klee/klee/issues/1185/events","html_url":"https://github.com/klee/klee/pull/1185","id":527303274,"node_id":"MDExOlB1bGxSZXF1ZXN0MzQ0NjA2NzI5","number":1185,"title":"Move merging related code from Executor into MergingSearcher","user":{"login":"futile","id":1130337,"node_id":"MDQ6VXNlcjExMzAzMzc=","avatar_url":"https://avatars3.githubusercontent.com/u/1130337?v=4","gravatar_id":"","url":"https://api.github.com/users/futile","html_url":"https://github.com/futile","followers_url":"https://api.github.com/users/futile/followers","following_url":"https://api.github.com/users/futile/following{/other_user}","gists_url":"https://api.github.com/users/futile/gists{/gist_id}","starred_url":"https://api.github.com/users/futile/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/futile/subscriptions","organizations_url":"https://api.github.com/users/futile/orgs","repos_url":"https://api.github.com/users/futile/repos","events_url":"https://api.github.com/users/futile/events{/privacy}","received_events_url":"https://api.github.com/users/futile/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":12,"created_at":"2019-11-22T16:48:07Z","updated_at":"2019-11-28T17:26:50Z","closed_at":null,"author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/klee/klee/pulls/1185","html_url":"https://github.com/klee/klee/pull/1185","diff_url":"https://github.com/klee/klee/pull/1185.diff","patch_url":"https://github.com/klee/klee/pull/1185.patch"},"body":"This PR moves merging-related functionality from the `Executor` to the `MergingSearcher`, as discussed in #762 (cc @MartinNowack).\r\n\r\nI am not sure if the ordering of the `MergingSearcher` in `UserSearcher.cpp/klee::constructUserSearcher()` makes the most sense this way, but I moved it to the \"top\" of the searcher chain as that is what was discussed in #762. "},"comment":{"url":"https://api.github.com/repos/klee/klee/issues/comments/559567827","html_url":"https://github.com/klee/klee/pull/1185#issuecomment-559567827","issue_url":"https://api.github.com/repos/klee/klee/issues/1185","id":559567827,"node_id":"MDEyOklzc3VlQ29tbWVudDU1OTU2NzgyNw==","user":{"login":"ccadar","id":5022313,"node_id":"MDQ6VXNlcjUwMjIzMTM=","avatar_url":"https://avatars2.githubusercontent.com/u/5022313?v=4","gravatar_id":"","url":"https://api.github.com/users/ccadar","html_url":"https://github.com/ccadar","followers_url":"https://api.github.com/users/ccadar/followers","following_url":"https://api.github.com/users/ccadar/following{/other_user}","gists_url":"https://api.github.com/users/ccadar/gists{/gist_id}","starred_url":"https://api.github.com/users/ccadar/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ccadar/subscriptions","organizations_url":"https://api.github.com/users/ccadar/orgs","repos_url":"https://api.github.com/users/ccadar/repos","events_url":"https://api.github.com/users/ccadar/events{/privacy}","received_events_url":"https://api.github.com/users/ccadar/received_events","type":"User","site_admin":false},"created_at":"2019-11-28T17:26:50Z","updated_at":"2019-11-28T17:26:50Z","author_association":"CONTRIBUTOR","body":"@futile I didn't do anything, so perhaps this was a temporary issue with Codecov.  Good to see the high patch coverage that I was expecting, so let's merge this.  Thanks again!"}}
{"actor":{"display_login":"ccadar"}}