{"action":"published","release":{"url":"https://api.github.com/repos/sosy-lab/tbf/releases/12587338","assets_url":"https://api.github.com/repos/sosy-lab/tbf/releases/12587338/assets","upload_url":"https://uploads.github.com/repos/sosy-lab/tbf/releases/12587338/assets{?name,label}","html_url":"https://github.com/sosy-lab/tbf/releases/tag/v0.2","id":12587338,"node_id":"MDc6UmVsZWFzZTEyNTg3MzM4","tag_name":"v0.2","target_commitish":"master","name":"TBF, Version 0.2","draft":false,"author":{"login":"leostrakosch","id":4499519,"node_id":"MDQ6VXNlcjQ0OTk1MTk=","avatar_url":"https://avatars0.githubusercontent.com/u/4499519?v=4","gravatar_id":"","url":"https://api.github.com/users/leostrakosch","html_url":"https://github.com/leostrakosch","followers_url":"https://api.github.com/users/leostrakosch/followers","following_url":"https://api.github.com/users/leostrakosch/following{/other_user}","gists_url":"https://api.github.com/users/leostrakosch/gists{/gist_id}","starred_url":"https://api.github.com/users/leostrakosch/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/leostrakosch/subscriptions","organizations_url":"https://api.github.com/users/leostrakosch/orgs","repos_url":"https://api.github.com/users/leostrakosch/repos","events_url":"https://api.github.com/users/leostrakosch/events{/privacy}","received_events_url":"https://api.github.com/users/leostrakosch/received_events","type":"User","site_admin":false},"prerelease":true,"created_at":"2018-08-27T09:29:55Z","published_at":"2018-08-27T09:47:13Z","assets":[],"tarball_url":"https://api.github.com/repos/sosy-lab/tbf/tarball/v0.2","zipball_url":"https://api.github.com/repos/sosy-lab/tbf/zipball/v0.2","body":"This release is a major cleanup of tbf and provides the possibility to do test-case generation and test-case execution in separate runs.  \r\n* tbf is now executed through `bin/tbf`.\r\n* If tbf is not told how to run test cases, it simply won't. So to create test cases, but not execute/validate them, omit both parameters `--execution` and `--witness-validation`.\r\n* To execute/validate existing test cases, use parameter `--use-existing-test-dir EXISTING_TESTS_DIR` with the directory that contains the test cases and the intended method (`--execution` or `--witness-validation`). You will still have to provide option `--input-generator GENERATOR` to tell tbf\r\nthe format of the test cases, but it will not create any new test cases.\r\n\r\n* Directory `contrib` contains benchmark definition files and a table definition file to use TBF with [BenchExec](http://github.com/sosy-lab/benchexec) for reproducible experiments.\r\n\r\nFor Developers:  \r\n\r\nThe structure of TBF has changed.\r\nDirectory `tbf` contains all program-related modules. Directory `tbf/tools` contains all test-case generators and the corresponding python modules to run them from within tbf, and directory `tbf/validators` contains the witness validators (currently CPAchecker and UAutomizer)."}}
{"actor":{"display_login":"leostrakosch"}}