From 26d374c97c8363305c5b2404161a0c3bbd7276ae Mon Sep 17 00:00:00 2001
From: ayazip <71931758+ayazip@users.noreply.github.com>
Date: Thu, 2 Nov 2023 12:38:44 +0100
Subject: [PATCH 1/2] Create witch.py

Add tool info for YAML witness validator Witch
---
 benchexec/tools/witch.py | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 benchexec/tools/witch.py

diff --git a/benchexec/tools/witch.py b/benchexec/tools/witch.py
new file mode 100644
index 000000000..d5225bde3
--- /dev/null
+++ b/benchexec/tools/witch.py
@@ -0,0 +1,22 @@
+# This file is part of BenchExec, a framework for reliable benchmarking:
+# https://github.com/sosy-lab/benchexec
+#
+# SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
+# SPDX-FileCopyrightText: 2021 Marek Chalupa
+#
+# SPDX-License-Identifier: Apache-2.0
+
+from benchexec.tools.symbiotic import Tool as SymbioticTool
+
+
+class Tool(SymbioticTool):
+    """
+    Witch tool info object
+    https://github.com/staticafi/symbiotic
+    """
+
+    def name(self):
+        """
+        Return the name of the tool, formatted for humans.
+        """
+        return "Witch"

From 1b7c230647255b248fec8e06c250e534dcc85334 Mon Sep 17 00:00:00 2001
From: ayazip <71931758+ayazip@users.noreply.github.com>
Date: Thu, 2 Nov 2023 12:46:03 +0100
Subject: [PATCH 2/2] fix name of witch validator

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

diff --git a/benchexec/tools/witch.py b/benchexec/tools/witch.py
index d5225bde3..ba7ec8e54 100644
--- a/benchexec/tools/witch.py
+++ b/benchexec/tools/witch.py
@@ -19,4 +19,4 @@ def name(self):
         """
         Return the name of the tool, formatted for humans.
         """
-        return "Witch"
+        return "witch"