Klever

Here is my related question to Philipp and his answer:

 How to pass several input files to the verifier? If several files
 are specified as follows: <tasks> <include>file1.c</include>
 <include>file2.c</include> ... </tasks> the verifier is launched
 for each individual file rather than for all of them.

Currently this can be done with an <append> tag inside a <tasks> tag.
All files specified in the <append> tag are appended to all tasks from
this <tasks> tag.
We do not know yet what the best way would be to specify multiple files,
and would like to hear suggestions on this.

Indeed this isn't a bug. In addition verification tasks (benchmarks) are generated within Core now, so, I specified the proper category.

I guess that this feature can be trivially implemented. But let's do that after completing Core refactoring.

Done in 6545-multiple-files.

After minor improvements I merged the branch to master in 74336519.

So, now there is an easy way to run verifiers with multiple input files. BTW, coverage looks better in this case.