From bda5a54d2a4231b4d38a9010df4c8dcca5a65da8 Mon Sep 17 00:00:00 2001
From: Marian Lingsch-Rosenfeld <Marian.Lingsch@sosy.ifi.lmu.de>
Date: Fri, 15 Nov 2024 11:02:30 +0100
Subject: [PATCH] Update MetaVal++ to correctly pass the input file in the
 command-line

---
 benchexec/tools/metaval++.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/benchexec/tools/metaval++.py b/benchexec/tools/metaval++.py
index c1721283d..9b1eab2f9 100644
--- a/benchexec/tools/metaval++.py
+++ b/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 = ":"