From 2a90342ae1a48decec1bf7aeaf497e86615562ac Mon Sep 17 00:00:00 2001
From: Lasagnenator <38394321+Lasagnenator@users.noreply.github.com>
Date: Sat, 19 Oct 2024 10:56:51 +1100
Subject: [PATCH] Renamed svf.py to svf_svc.py

---
 benchexec/tools/{svf.py => svf_svc.py} | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
 rename benchexec/tools/{svf.py => svf_svc.py} (95%)

diff --git a/benchexec/tools/svf.py b/benchexec/tools/svf_svc.py
similarity index 95%
rename from benchexec/tools/svf.py
rename to benchexec/tools/svf_svc.py
index 63b2c1fde..02ae8f2da 100644
--- a/benchexec/tools/svf.py
+++ b/benchexec/tools/svf_svc.py
@@ -12,7 +12,7 @@
 
 class Tool(benchexec.tools.template.BaseTool2):
     """
-    Tool info for SVF: a framework for static value-flow analysis.
+    Tool info for SVF-SVC: a framework for static value-flow analysis.
     Specifically this tool is a wrapper around SVF to make it work with SV-COMP.
     - SVF: https://github.com/SVF-tools/SVF
     """
@@ -23,7 +23,7 @@ def executable(self, tool_locator):
         return tool_locator.find_executable("svf_run.py")
 
     def name(self):
-        return "SVF"
+        return "SVF-SVC"
 
     def project_url(self):
         return "https://github.com/Lasagnenator/svf-svc-comp"