Skip to content

Transform old-style C tasks in test/programs/simple to yml format

Thomas Lemberger requested to merge tasks_to_yml into trunk

C tasks in directory test/programs/simple are renamed and corresponding yaml task definitions are created for them.

For consistency, yaml-files are even created for C files that had no verdict encoded in their file name. Task definitions for such files have an empty list of properties.

The script that was used to transform files can be found at https://github.com/sosy-lab/benchexec/pull/540/commits/33e20a16182ff76b8893bc4642ea570106eeb8e6 .

Our xml-files for test sets were manually checked and adjusted, where necessary.

I tested the following test sets to check that the number of benchmark files stays equal:

test/test-sets/integration-symbolicExecution.xml
test/test-sets/integration-octagon.xml
test/test-sets/integration-simpleTests.xml
test/test-sets/integration-predicate-overflow.xml

Solves #673 (closed) , but we should probably also create issues to adjust ldv-benchmarks and Java files.

Edited by Thomas Lemberger

Merge request reports