fix name of witch validator

sosy-lab · Nov 2, 2023 · 1b7c230 · 1b7c230
1 parent 26d374c
commit 1b7c230
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"