Let MetaVal handle validation tasks correctly

The inner tool does not need to get the witness options

Author: marian-lingsch

benchexec/tools/metaval.py

@@ -15,7 +15,7 @@
 from benchexec.tools.template import UnsupportedFeatureException
 from benchexec.tools.sv_benchmarks_util import (
     get_witness,
-    get_single_non_witness_input_file,
+    get_single_non_witness_input_file, WITNESS_INPUT_FILE_IDENTIFIER,
 )
 
 
@@ -124,11 +124,14 @@ 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,