Create witch.py

Add tool info for YAML witness validator Witch

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"