Merge pull request #1153 from sosy-lab/fix-metaval-validation-benchmarks

Let MetaVal handle validation tasks correctly

benchexec/tools/metaval.py

@@ -16,6 +16,7 @@
 from benchexec.tools.sv_benchmarks_util import (
     get_witness,
     get_single_non_witness_input_file,
+    WITNESS_INPUT_FILE_IDENTIFIER,
 )
 
 
@@ -124,11 +125,18 @@ def cmdline(self, executable, options, task, rlimits):
                 )
             )
         )
+        wrapped_tasks_options = task.options
+        if isinstance(wrapped_tasks_options, dict):
+            wrapped_tasks_options = {
+                k: v
+                for k, v in wrapped_tasks_options.items()
+                if k != WITNESS_INPUT_FILE_IDENTIFIER
+            }
         wrappedtask = BaseTool2.Task(
             input_files=[self._resource(executable, "output/ARG.c")],
             identifier=task.identifier,
             property_file=task.property_file,
-            options=task.options,
+            options=wrapped_tasks_options,
         )
         wrappedOptions = tool.cmdline(
             wrapped_executable,