From 70270f57aea75408fd86e4d52e9b18f78233e65f Mon Sep 17 00:00:00 2001
From: Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
Date: Thu, 2 Nov 2023 09:44:22 +0000
Subject: [PATCH] Fixes owic's display name

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

diff --git a/benchexec/tools/owic.py b/benchexec/tools/owic.py
index 6a8468052..05bafe4fa 100644
--- 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: