{"action":"opened","issue":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/269","repository_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks","labels_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/269/labels{/name}","comments_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/269/comments","events_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/269/events","html_url":"https://github.com/sosy-lab/sv-benchmarks/issues/269","id":192057228,"number":269,"title":"check.py does not find some problems on Travis, only locally","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":472360084,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/labels/build%20system%20and%20metadata","name":"build system and metadata","color":"0052cc","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2016-11-28T16:51:00Z","updated_at":"2016-11-28T16:51:00Z","closed_at":null,"body":"Since several commits, there are some categories with inconsistent architecture.\r\nOn my machine, `check.py` outputs the following for commit 92e99ed:\r\n```\r\nERROR   ArraysMemSafety.set: 32 bit category contains 64 bit benchmarks in termination-crafted\r\nERROR   BitVectorsOverflows.set: 64 bit category contains 32 bit benchmarks in recursive\r\nERROR   HeapMemSafety.set: 32 bit category contains 64 bit benchmarks in termination-crafted\r\n```\r\n\r\nHowever, on Travis the script does not output these error messages for the same commit ([Travis log](https://travis-ci.org/sosy-lab/sv-benchmarks/jobs/179487969)).\r\n\r\nI have no idea where this differing behavior could come from. I manually checked the content of the categories and I agree with the script's output on my machine, so why is it different on Travis?"}}
{"actor":{"display_login":"PhilippWendler"}}