Fixes owic's display name

sosy-lab · Nov 2, 2023 · 70270f5 · 70270f5
1 parent 0bd51dc
commit 70270f5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/benchexec/tools/owic.py b/benchexec/tools/owic.py
@@ -23,7 +23,7 @@ def version(self, executable):
         return self._version_from_tool(executable, "--version")
 
     def name(self):
-        return "owic"
+        return "OWI"
 
     def cmdline(self, executable, options, task, _):
         if task.property_file: