Renamed svf.py to svf_svc.py

sosy-lab · Oct 18, 2024 · 2a90342 · 2a90342
1 parent ad6c331
commit 2a90342
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/benchexec/tools/svf.py → benchexec/tools/svf_svc.py b/benchexec/tools/svf.py → 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"