Merge pull request #1110 from sosy-lab/metaval++-fix-input-task

Update MetaVal++ to correctly pass the input file correctly in the command-line

benchexec/tools/metaval++.py

@@ -42,7 +42,7 @@ def cmdline(self, executable, options, task, rlimits):
         if data_model_param and "--data-model" not in options:
             options += ["--data-model", data_model_param]
 
-        return [executable] + options + list(task.single_input_file)
+        return [executable] + options + [task.single_input_file]
 
     def determine_result(self, run):
         separator = ":"