Add set file to validators as well, which was forgotten in the following MR:... (!395) · Merge requests · SoSy-Lab / SV-Comp / Benchmark Definitions

Add set file to validators as well, which was forgotten in the following MR: !364 (merged)

Add set file to validators as well, which was forgotten in the following MR:...