{"action":"created","issue":{"url":"https://api.github.com/repos/dbeyer/benchexec/issues/48","labels_url":"https://api.github.com/repos/dbeyer/benchexec/issues/48/labels{/name}","comments_url":"https://api.github.com/repos/dbeyer/benchexec/issues/48/comments","events_url":"https://api.github.com/repos/dbeyer/benchexec/issues/48/events","html_url":"https://github.com/dbeyer/benchexec/pull/48","id":111243112,"number":48,"title":"corrected determine_result","user":{"login":"mitchellgerrard","id":13592724,"avatar_url":"https://avatars.githubusercontent.com/u/13592724?v=3","gravatar_id":"","url":"https://api.github.com/users/mitchellgerrard","html_url":"https://github.com/mitchellgerrard","followers_url":"https://api.github.com/users/mitchellgerrard/followers","following_url":"https://api.github.com/users/mitchellgerrard/following{/other_user}","gists_url":"https://api.github.com/users/mitchellgerrard/gists{/gist_id}","starred_url":"https://api.github.com/users/mitchellgerrard/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mitchellgerrard/subscriptions","organizations_url":"https://api.github.com/users/mitchellgerrard/orgs","repos_url":"https://api.github.com/users/mitchellgerrard/repos","events_url":"https://api.github.com/users/mitchellgerrard/events{/privacy}","received_events_url":"https://api.github.com/users/mitchellgerrard/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-10-13T18:43:35Z","updated_at":"2015-10-14T06:18:42Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/dbeyer/benchexec/pulls/48","html_url":"https://github.com/dbeyer/benchexec/pull/48","diff_url":"https://github.com/dbeyer/benchexec/pull/48.diff","patch_url":"https://github.com/dbeyer/benchexec/pull/48.patch"},"body":"I was not looping through the list of strings to search for substrings previously, so all the results were returned as 'UNKNOWN'.  Let me know if there is a better Python way to search for the keywords in the 'output' list of strings.\r\n\r\nThanks,\r\n\r\nMitch"},"comment":{"url":"https://api.github.com/repos/dbeyer/benchexec/issues/comments/147948667","html_url":"https://github.com/dbeyer/benchexec/pull/48#issuecomment-147948667","issue_url":"https://api.github.com/repos/dbeyer/benchexec/issues/48","id":147948667,"user":{"login":"PhilippWendler","id":2545335,"avatar_url":"https://avatars.githubusercontent.com/u/2545335?v=3","gravatar_id":"","url":"https://api.github.com/users/PhilippWendler","html_url":"https://github.com/PhilippWendler","followers_url":"https://api.github.com/users/PhilippWendler/followers","following_url":"https://api.github.com/users/PhilippWendler/following{/other_user}","gists_url":"https://api.github.com/users/PhilippWendler/gists{/gist_id}","starred_url":"https://api.github.com/users/PhilippWendler/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/PhilippWendler/subscriptions","organizations_url":"https://api.github.com/users/PhilippWendler/orgs","repos_url":"https://api.github.com/users/PhilippWendler/repos","events_url":"https://api.github.com/users/PhilippWendler/events{/privacy}","received_events_url":"https://api.github.com/users/PhilippWendler/received_events","type":"User","site_admin":false},"created_at":"2015-10-14T06:18:42Z","updated_at":"2015-10-14T06:18:42Z","body":"There are basically 3 possibilities:\r\n - match complete line patterns with `pattern in output`\r\n - `any` as you are using it\r\n - iterate through `output` and check for `pattern in line` for each pattern (that's what most other wrappers do)\r\n\r\nPlease let me know if you want to change the PR or whether I should merge as it is."}}