From c52c5b844dfe3dbf399dc52fd3523ef6762b450a Mon Sep 17 00:00:00 2001
From: Bajczi Levente <bajczilevi@gmail.com>
Date: Mon, 14 Jul 2025 15:31:18 +0200
Subject: [PATCH] Update theta.py with cmdline

---
 benchexec/tools/theta.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/benchexec/tools/theta.py b/benchexec/tools/theta.py
index e59c090..490b369 100644
--- a/benchexec/tools/theta.py
+++ b/benchexec/tools/theta.py
@@ -21,6 +21,9 @@ class Tool(benchexec.tools.chc.ChcTool):
         "theta.jar",
         "chc",
     ]
+    
+    def cmdline(self, executable, options, task, rlimits):
+        return [executable, task.single_input_file] + options
 
     def executable(self, tool_locator):
         return tool_locator.find_executable("chc")