From d78ed35ee2170989b2109d981f099fa91b490544 Mon Sep 17 00:00:00 2001
From: Marian Lingsch-Rosenfeld <Marian.Lingsch@sosy.ifi.lmu.de>
Date: Sat, 23 Nov 2024 09:49:18 +0100
Subject: [PATCH] Adjust how the command line is build, the function
 handle_witness_of_task always returns a list of input_files

---
 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 36461ad54..a07d84052 100644
--- a/benchexec/tools/metaval++.py
+++ b/benchexec/tools/metaval++.py
@@ -52,7 +52,7 @@ def cmdline(self, executable, options, task, rlimits):
             task, options, "--witness", TaskFilesConsidered.SINGLE_INPUT_FILE
         )
 
-        return [executable] + options + witness_options + [input_file]
+        return [executable] + options + witness_options + input_file
 
     def determine_result(self, run):
         separator = ":"