{"action":"opened","issue":{"url":"https://api.github.com/repos/dbeyer/benchexec/issues/1","labels_url":"https://api.github.com/repos/dbeyer/benchexec/issues/1/labels{/name}","comments_url":"https://api.github.com/repos/dbeyer/benchexec/issues/1/comments","events_url":"https://api.github.com/repos/dbeyer/benchexec/issues/1/events","html_url":"https://github.com/dbeyer/benchexec/issues/1","id":57625628,"number":1,"title":" Add \"sudo\" functionality to benchmark scripts ","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},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-02-13T17:09:07Z","updated_at":"2015-02-13T17:09:07Z","closed_at":null,"body":"Running a benchmarked tool under a different user account than the benchmarking framework prevents the tool from (accidentally) messing with the resource measurements, and is thus (slightly) preferable. It should be relatively easy to add this to the scripts, at least such that it is usable if the administrator configured sudo appropriately."}}