-
v2.1 protected
Version 2.1 No API changes or improvements, just structural changes for easier maintenance and publication.
-
testcomp21 protected
This tag marks the version used for the 3rd Competition on Software Testing (Test-Comp) 2021.
-
testcomp20 protected
This tag marks the version of the test-suite format for the Competition on Software Testing (Test-Comp) 2020.
-
v2.0 protected
Version 2.0 for tsbuilder: Renamed * Rename tfbuilder to tsbuilder since test-suite is more obvious than test-format
-
v1.3 protected
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.
-
testcomp19 protected
This tag marks the version of the test-suite validator taken for the Competition on Software Testing (Test-Comp) 2019.
-
v1.2 protected
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)