{"action":"created","issue":{"url":"https://api.github.com/repos/sosy-lab/benchexec/issues/143","repository_url":"https://api.github.com/repos/sosy-lab/benchexec","labels_url":"https://api.github.com/repos/sosy-lab/benchexec/issues/143/labels{/name}","comments_url":"https://api.github.com/repos/sosy-lab/benchexec/issues/143/comments","events_url":"https://api.github.com/repos/sosy-lab/benchexec/issues/143/events","html_url":"https://github.com/sosy-lab/benchexec/issues/143","id":181977570,"number":143,"title":"Files with large amount of properties","user":{"login":"stahlbauer","id":15855927,"avatar_url":"https://avatars.githubusercontent.com/u/15855927?v=3","gravatar_id":"","url":"https://api.github.com/users/stahlbauer","html_url":"https://github.com/stahlbauer","followers_url":"https://api.github.com/users/stahlbauer/followers","following_url":"https://api.github.com/users/stahlbauer/following{/other_user}","gists_url":"https://api.github.com/users/stahlbauer/gists{/gist_id}","starred_url":"https://api.github.com/users/stahlbauer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/stahlbauer/subscriptions","organizations_url":"https://api.github.com/users/stahlbauer/orgs","repos_url":"https://api.github.com/users/stahlbauer/repos","events_url":"https://api.github.com/users/stahlbauer/events{/privacy}","received_events_url":"https://api.github.com/users/stahlbauer/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/sosy-lab/benchexec/labels/question","name":"question","color":"cc317c"}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":7,"created_at":"2016-10-10T10:03:33Z","updated_at":"2016-10-17T14:44:51Z","closed_at":null,"body":"The current implementation of BenchExec does not support multiple properties per file. Having support for this feature would be nice. \r\n\r\n- [ ] Clarify: Should this feature get introduced into BenchExech?\r\n- [ ] Clarify: Which format should be used to express the mapping of properties to expected results?\r\n- [ ] Clarify: How should we consider different entry functions?\r\n- [ ] Clarify: How should the result for multiple properties get presented in the final report?\r\n- [ ] Implement the feature and make it available to the mainline of BenchExec. "},"comment":{"url":"https://api.github.com/repos/sosy-lab/benchexec/issues/comments/254228231","html_url":"https://github.com/sosy-lab/benchexec/issues/143#issuecomment-254228231","issue_url":"https://api.github.com/repos/sosy-lab/benchexec/issues/143","id":254228231,"user":{"login":"stahlbauer","id":15855927,"avatar_url":"https://avatars.githubusercontent.com/u/15855927?v=3","gravatar_id":"","url":"https://api.github.com/users/stahlbauer","html_url":"https://github.com/stahlbauer","followers_url":"https://api.github.com/users/stahlbauer/followers","following_url":"https://api.github.com/users/stahlbauer/following{/other_user}","gists_url":"https://api.github.com/users/stahlbauer/gists{/gist_id}","starred_url":"https://api.github.com/users/stahlbauer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/stahlbauer/subscriptions","organizations_url":"https://api.github.com/users/stahlbauer/orgs","repos_url":"https://api.github.com/users/stahlbauer/repos","events_url":"https://api.github.com/users/stahlbauer/events{/privacy}","received_events_url":"https://api.github.com/users/stahlbauer/received_events","type":"User","site_admin":false},"created_at":"2016-10-17T14:44:51Z","updated_at":"2016-10-17T14:44:51Z","body":"@PhilippWendler \r\nEach tool can provide its results for the different properties in a different format. This is the reason why we should a separate parser for this. At least, the current implementation for parsing the output has to be adjusted such that it supports parsing results for different properties. "}}
{"actor":{"display_login":"stahlbauer"}}