Remove "(KoAT + LoAT)"

sosy-lab · Oct 22, 2024 · b045bc1 · b045bc1
1 parent 98ae09f
commit b045bc1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/benchexec/tools/aprove.py b/benchexec/tools/aprove.py
@@ -36,7 +36,7 @@ def executable(self, tool_locator):
         return tool_locator.find_executable("AProVE.sh")
 
     def name(self):
-        return "AProVE (KoAT + LoAT)"
+        return "AProVE"
 
     def project_url(self):
         return "http://aprove.informatik.rwth-aachen.de/"