{"action":"created","issue":{"url":"https://api.github.com/repos/sosy-lab/benchexec/issues/164","repository_url":"https://api.github.com/repos/sosy-lab/benchexec","labels_url":"https://api.github.com/repos/sosy-lab/benchexec/issues/164/labels{/name}","comments_url":"https://api.github.com/repos/sosy-lab/benchexec/issues/164/comments","events_url":"https://api.github.com/repos/sosy-lab/benchexec/issues/164/events","html_url":"https://github.com/sosy-lab/benchexec/issues/164","id":191883613,"number":164,"title":"Crash-dump information not appended in container mode","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":[{"id":176834090,"url":"https://api.github.com/repos/sosy-lab/benchexec/labels/bug","name":"bug","color":"fc2929","default":true}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":{"url":"https://api.github.com/repos/sosy-lab/benchexec/milestones/6","html_url":"https://github.com/sosy-lab/benchexec/milestone/6","labels_url":"https://api.github.com/repos/sosy-lab/benchexec/milestones/6/labels","id":2157836,"number":6,"title":"Release 2.0","description":"","creator":{"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},"open_issues":3,"closed_issues":0,"state":"open","created_at":"2016-11-25T15:23:37Z","updated_at":"2016-11-27T20:31:34Z","due_on":null,"closed_at":null},"comments":1,"created_at":"2016-11-27T20:31:34Z","updated_at":"2017-01-04T11:18:50Z","closed_at":null,"body":"The JVM creates a special file with crash information when it segfaults, and runexec appends such files to the output file of the run. This does not work in container mode, because runexec does not find the crash-dump file because it is in a different location or was removed on container cleanup.\r\n\r\nThis can be tested with\r\n```\r\nrunexec --container -- /bin/sh -c 'echo \\# An error report file with more information is saved as:; echo \\# hs_err_pid12345.log; echo This should appear as last line in output.log > hs_err_pid12345.log; exit 2'\r\ncat output.log\r\n```"},"comment":{"url":"https://api.github.com/repos/sosy-lab/benchexec/issues/comments/270349198","html_url":"https://github.com/sosy-lab/benchexec/issues/164#issuecomment-270349198","issue_url":"https://api.github.com/repos/sosy-lab/benchexec/issues/164","id":270349198,"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":"2017-01-04T11:18:50Z","updated_at":"2017-01-04T11:18:50Z","body":"As a workaround, specifying `--output-directory . --result-files 'hs_err_pid*.log'` will make this work, because the dump file will be first moved to the current directory and then picked up by runexec."}}
{"actor":{"display_login":"PhilippWendler"}}