Skip to content
This repository was archived by the owner on Mar 11, 2019. It is now read-only.

TBF, Version 0.2

Pre-release
Pre-release
Compare
Choose a tag to compare
@lembergerth lembergerth released this 27 Aug 09:47
· 174 commits to master since this release
v0.2
7fb7657
This commit was signed with the committer’s verified signature.
lembergerth Thomas Lemberger
GPG key ID: 97877E1F033DE66F
Verified
Learn about vigilant mode.

This release is a major cleanup of tbf and provides the possibility to do test-case generation and test-case execution in separate runs.

  • tbf is now executed through bin/tbf.

  • 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.

  • 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
    the format of the test cases, but it will not create any new test cases.

  • Directory contrib contains benchmark definition files and a table definition file to use TBF with BenchExec for reproducible experiments.

For Developers:

The structure of tbf has changed.
Directory 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).

Assets 2
Loading