Tags

Release candidate for Test-Comp 2024

Final release for Test-Comp 2023

Release candidate for Test-Comp 2023

Release version for Test-Comp 2022

Release candidate for Test-Comp 2022

Version 2.1

No API changes or improvements, just structural changes
for easier maintenance and publication.

This tag marks the version used for the 3rd Competition on Software Testing (Test-Comp) 2021.

This tag marks the version of the test-suite format for the Competition on Software Testing (Test-Comp) 2020.

Version 2.0 for tsbuilder: Renamed

* Rename tfbuilder to tsbuilder since
test-suite is more obvious than test-format

Version 1.3: Allow reference to input test suites in metadata

Updates testcase and test-metadata DTDs to version 1.1
and supports the two test-metadata tags <inputtestsuitefile>
and <inputtestsuitehash> to reference a test suite that
was used for creation of the newly created test suite.

This tag marks the version of the test-suite validator taken for the Competition on Software Testing (Test-Comp) 2019.

Version 1.2: Some bug fixes to test-suite validator.

Test-suite validator:
* prints coverage information on abnormal termination/kill, not only on
regular termination.
* collects coverage information for program executions that end in an abort
* allows empty test-cases (test cases without any inputs)

Version 1.1: Test validator supports writing coverage sequence

First release.